Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services
- 24 June 2003
- book chapter
- Published by Springer Nature
- p. 188-200
- https://doi.org/10.1007/3-540-45089-0_18
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Conversation support for business process integrationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Conversation specificationPublished by Association for Computing Machinery (ACM) ,2003
- Interface automataPublished by Association for Computing Machinery (ACM) ,2001
- Realizability and Verification of MSC GraphsPublished by Springer Nature ,2001
- Model-Checking of Correctness Conditions for Concurrent ObjectsInformation and Computation, 2000
- Verifying identical communicating processes is undecidableTheoretical Computer Science, 1997
- Verifying Programs with Unreliable ChannelsInformation and Computation, 1996
- Temporal and Modal LogicPublished by Elsevier ,1990
- Realizable and unrealizable specifications of reactive systemsPublished by Springer Nature ,1989
- On Communicating Finite-State MachinesJournal of the ACM, 1983