Dynamic Configuration in LOTOS

Authors:
Elie Najm;Jean-Bernard Stefani
Affiliations:
-;-
Venue:
FORTE '91 Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, IV
Year:
1991

Citing 0
Cited 2

Issues in formal methods

Formal methods for distributed processing
Using a Formal Framework for Agent System Design

FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers

Quantified Score

Hi-index	0.00

Visualization

Abstract