The L.0 language and environment for protocol simulation and prototyping
- 1 April 1991
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. 40 (4) , 562-571
- https://doi.org/10.1109/12.88474
Abstract
A description is given of L.0, an executable specification language designed for describing communications protocols and similar reactive systems. L.0 is synchronous and rule-based. The rules are either cause-effect rules or constraints. Rules can be activated and deactivated dynamically, and several can be fired simultaneously. L.0 has modern notions of encapsulation and data sharing. Indirection, quantification, and recursive definition of modules increase its expressiveness. L.0 has been used in several development projects to design, simulate, and prototype protocols. It seems to provide a paradigm that is precise and yet can be used by designers and engineers who are not specialists in specification languages.Keywords
This publication has 20 references indexed in Scilit:
- Issues arising in the analysis of L.0Published by Springer Nature ,2005
- A language for compositional specification and verification of finite state hardware controllersProceedings of the IEEE, 1991
- Software for Analytical Development of Communications ProtocolsAT&T Technical Journal, 1990
- A software design method and its application to protocol and communication software developmentComputer Networks and ISDN Systems, 1988
- The IC* model of parallel computation and programming environmentIEEE Transactions on Software Engineering, 1988
- From a synchronous declarative language to a temporal logic dealing with multiform timePublished by Springer Nature ,1988
- The IC system for protocol developmentACM SIGCOMM Computer Communication Review, 1987
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- Temporal logic can be more expressiveInformation and Control, 1983
- Rete: A fast algorithm for the many pattern/many object pattern match problemArtificial Intelligence, 1982