G-LOTOS: a graphical language for concurrent systems

Authors:
T. Bolognesi;E. Najm;P. A. J. Tilanus
Affiliations:
-;-;-
Venue:
Computer Networks and ISDN Systems
Year:
1994

Citing 0
Cited 4

Graphic visualization and animation of LOTOS execution traces

Computer Networks: The International Journal of Computer and Telecommunications Networking - Protocol animation
Interaction diagrams

Nordic Journal of Computing
The Design of a Tool-Supported Graphical Notation for Timed CSP

IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Designing a multiway synchronization protocol

Computer Communications

Quantified Score

Hi-index	0.00

Visualization

Abstract