Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Executing temporal logic programs
Executing temporal logic programs
Mechanical verification and automatic implementation of communication protocols
IEEE Transactions on Software Engineering
Semiautomatic Implementation of Communication Protocols
IEEE Transactions on Software Engineering
A software design method and its application to protocol and communication software development
Computer Networks and ISDN Systems
From a synchronous declarative language to a temporal logic dealing with multiform time
Proceedings of a Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
The IC system for protocol development
SIGCOMM '87 Proceedings of the ACM workshop on Frontiers in computer communications technology
Parallel program design: a foundation
Parallel program design: a foundation
Soar/PSM-E: investigating match parallelism in a learning production sytsem
PPEALS '88 Proceedings of the ACM/SIGPLAN conference on Parallel programming: experience with applications, languages and systems
The IC* system for debugging parallel programs via interactive monitoring and control
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
PDPS: a protocol design system by production systems approach
ISCI '90 Proceedings of the first international conference on systems integration on Systems integration '90
Rapid prototyping of communications protocols using a new parallel language
ISCI '90 Proceedings of the first international conference on systems integration on Systems integration '90
From description to simulation to architecture: an approach to service-driven system development
ISCI '90 Proceedings of the first international conference on systems integration on Systems integration '90
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Formal Description Technique Lotos: Results of the Esprit Sedos Project
Formal Description Technique Lotos: Results of the Esprit Sedos Project
The IC* Model of Parallel Computation and Programming Environment
IEEE Transactions on Software Engineering
Verification of a Multidestination Protocol Using Temporal Logic
Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification
From State Machines to Temporal Logic: Specification Methods for Protocol Standards
Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification
Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V
Usage of Protocol Development Tools: The Results of a Survey
Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification VII
FDTs for open distributed systems, a retrospective and a prospective view
Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification X
L.0: A Language for Modeling and Prototyping Communications Software
FORTE '90 Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, III
Issues Arising in the Analysis of L.0
CAV '90 Proceedings of the 2nd International Workshop on Computer Aided Verification
The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems
Temporal Logic in Specification
L.0: A Truly Concurrent Executable Temporal Logic Language for Protocols
IEEE Transactions on Software Engineering
Using Flexible Transactions to Support Multi-System Telecommunication Applications
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Hi-index | 0.00 |
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.