Conversation protocols: a formalism for specification and verification of reactive electronic services
- 1 November 2004
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 328 (1-2) , 19-37
- https://doi.org/10.1016/j.tcs.2004.07.004
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Conversation support for business process integrationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic ServicesPublished by Springer Nature ,2003
- Modeling Web InteractionsPublished by Springer Nature ,2003
- 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
- Memory-efficient algorithms for the verification of temporal propertiesFormal Methods in System Design, 1992
- Realizable and unrealizable specifications of reactive systemsPublished by Springer Nature ,1989
- On Communicating Finite-State MachinesJournal of the ACM, 1983