An introduction to LOTOS: learning by examples
- 29 February 1992
- journal article
- Published by Elsevier BV 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 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
- Introduction to the ISO specification language LOTOSComputer Networks and ISDN Systems, 1987