An introduction to Estelle: A specification language for distributed systems

• 31 December 1987
• journal article
• Published by Elsevier in Computer Networks and ISDN Systems
• Vol. 14  (1) , 3-23
• https://doi.org/10.1016/0169-7552(87)90084-5

Abstract

Keywords

• ESTELLE
• FORMAL DESCRIPTION TECHNIQUE
• FDT
• DISTRIBUTED SYSTEMS
• SPECIFICATION LANGUAGE
• COMMUNICATION PROTOCOLS
• SERVICES
• OPEN SYSTEM INTERCONNECTION
• OSI