Introduction to the ISO specification language LOTOS

Computer Networks and ISDN Systems

Volumn 14, Issue 1, 1987, Pages 25-59

  Bolognesi, Tommaso ^a   Brinksma, Ed ^b  

^a CNR   (Italy)

^b UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

Concurrent languages; Formal Description Techniques; Open Systems Interconnection; Protocol Specification; Specification Languages

Indexed keywords

COMPUTER NETWORKS; STANDARDS;

CONCURRENT LANGUAGES; FORMAL DESCRIPTION TECHNIQUES; OPEN SYSTEMS INTERCONNECTION; PROTOCOL SPECIFICATION; SPECIFICATION LANGUAGES;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0023544236     PISSN: 01697552     EISSN: None     Source Type: Journal    
DOI: 10.1016/0169-7552(87)90085-7     Document Type: Article

References (48)

1. Draft Formal Specification of the OSI Connection-Oriented Session Protocol in LOTOS
2. Process Algebra for Synchronous Communication
3. On the Formal Specification and Verification of CIM Architectures Using LOTOS
4. Fundamental Results for the Verification of Observational Equivalence: a Survey
5. Notes on algebraic calculi of processes
6. Executing LOTOS Specifications
7. A Tutorial on LOTOS
8. On the Existence of Canonical Testers
9. Formal Notions of Implementation and Conformance in LOTOS
10. LOTOS specifications, their implementations, and their tests
11. A Theory of Communicating Sequential Processes
12. A LOTOS Specification of the PROWAY Highway Service
13. The Daemon Game in LOTOS
14. Extensional Equivalences for Transition Systems
15. Testing Equivalences for Processes
16. An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types
17. Abstract Data Types and the Development of Data Structures
18. Algebraic Laws for Nondeterminism and Concurrency
19. ISO — Information Processing Systems — “Basic Reference Model for Open Systems Interconnections”
20. ISO — Information Processing Systems — Open Systems Interconnection — “Connection Oriented Transport Protocol Specification”
21. ISO — Information Processing Systems — Open Systems Interconnection — “ESTELLE — A Formal Description Technique Based on Extended State Transition Model”
22. LOTOS — A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour
23. Context Dependent Bisimulations Between Processes
24. LOTOS Tools Development
25. CIRCAL and the Representation of Communication Concurrency and Time
26. A Calculus of Communicating Systems
27. A Complete Inference System for a Class of Regular Behaviours
28. Calculi for Synchrony and Asynchrony
29. A verification oriented specification in Lotos of the Transport Protocol
30. Concurrency and Automata on Infinite Sequences
31. A Structural Approach to Operational Semantics
32. Data Link Service LOTOS Specification
33. Formal Description in LOTOS of the OSI Transport Protocol (Version 9)
34. On the Specification in LOTOS of OSI Protocols
35. The OSI Transport Service and its Formal Description in LOTOS
36. OSI Transport Service: A Constraint-Oriented Specification in LOTOS
37. OSI connection-oriented network service: a constraint-oriented specification in extended LOTOS (draft 4)
38. Software Tools for the Specification Language LOTOS
39. Draft formal specification of the OSI connection-oriented session service in LOTOS (version 5)