An Architectural Semantics for LOTOS

Authors:
Kenneth J. Turner
Affiliations:
-
Venue:
Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification VII
Year:
1987

The algebraic specification language LOTOS: an industrial experience

Conference proceedings on Formal methods in software development
Formalization of Protocol Engineering Concepts

IEEE Transactions on Computers - Special issue on protocol engineering
Hierarchical Performance Evaluation Based on Formally Specified Communication Protocols

IEEE Transactions on Computers - Special issue on protocol engineering
Specification architectures

Formal methods for distributed processing

Hi-index	0.01