On the soundness of graphical representations of interconnected processes in LOTOS

Authors:
Tommaso Bolognesi
Affiliations:
C.N.R.-CNUCE, 36, Via S. Maria - 56100 Pisa - ITALY
Venue:
Conference proceedings on Formal methods in software development
Year:
1990

Citing 3
Cited 0

Introduction to the ISO specification language LOTOS

Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Specification styles in distributed systems design and verification

TAPSOFT '89 2nd international joint conference on Theory and practice of software development
Concurrency and Automata on Infinite Sequences

Proceedings of the 5th GI-Conference on Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract