An introduction to LOTOS: learning by examples
- 29 February 1992
- journal article
- Published by Elsevier in Computer Networks and ISDN Systems
- Vol. 23 (5) , 325-342
- https://doi.org/10.1016/0169-7552(92)90011-e
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Introduction to the ISO specification language LOTOSPublished by Elsevier ,2003
- Introduction to algebraic specifications based on the language ACT ONEComputer Networks and ISDN Systems, 1992
- Specification styles in distributed systems design and verificationTheoretical Computer Science, 1991
- Formal specification of telephone systems in LOTOS: the constraint-oriented style approachComputer Networks and ISDN Systems, 1991
- Use of a formal description technique in the specification of authentication protocolsComputer Standards & Interfaces, 1990
- An interpreter for LOTOS, a specification language for distributed systemsSoftware: Practice and Experience, 1988