Specification of communication protocols using temporal logic☆
References (18)
- et al.
Can Message Buffers be Axiomatized in Linear Temporal Logic?
Information and Control
(1984) - et al.
Composing specifications
- et al.
Towards the hierarchical temporal logic specification of concurrent systems
- et al.
Now You May Compose Temporal Specifications
Verifying Concurrent Processes Using Temporal Logic
Development of Communication Protocols by Composing and Refining Temporal Specifications
Specifying Message Passing and Time-Critical Systems with Temporal Logic
Stl/serc Problems
What Good is Temporal Logic
There are more references available in the full text version of this article.
Cited by (4)
Development of communication protocols using algebraic and temporal specifications
2003, Computer NetworksAn approach to the formal specification of lingware
2003, Natural Language EngineeringA Negotiation Formal Model for Cooperating Agents
2001, AAAI Fall Symposium - Technical ReportA unified algebraic framework for specifying communication protocols
2000, ICFEM 2000 - 3rd IEEE International Conference on Formal Engineering Methods
- ☆
This work has been supported by the German Research Society (DFG) under grant Ho 1257/2.
Copyright © 1996 Published by Elsevier Inc.