Paper Info
Title
ECCS and LIPS: two languages for OSI systems specification and verification
Abstract
An issue of current interest in the Open Systems Interconnection (OSI) field is the choice of a language well suited to specification and verification. For this purpose, two languages based on Milner's communication calculi are proposed, respectively intended for the specification of asynchronous and synchronous OSI systems. A formal verification method, relying upon the algebraic foundations of the two languages, is introduced and illustrated by means of examples based on nontrivial protocols and services.
Year
DOI
Venue
1989
10.1145/63264.63402
ACM Trans. Program. Lang. Syst.
Keywords
Field
DocType
communication protocols and services,synchronous/ asynchronous systems,observation,additional key words and phrases: calculus of communicating systems,open systems interconnection reference model osi,synchronous osi system,osi systems specification,algebraic foundation,communication calculus,current interest,formal verification method,open systems interconnection,nontrivial protocol,calculus of communicating systems,formal verification,reference model,asynchronous system,communication protocol
Iso standards,Asynchronous communication,Algebraic number,Programming language,Computer science,Open Systems Interconnection,Language Of Temporal Ordering Specification,Open system (systems theory),Standardization,Formal verification
Journal
Volume
Issue
ISSN
11
2
0164-0925
Citations 
PageRank 
References 
3
0.56
22
Authors
4
Name
Order
Citations
PageRank
V. Carchiolo1268.25
A. di Stefano28014.25
A Faro39318.46
Giuseppe Pappalardo459563.41