Abstract
Commitment, Concurrency and Recovery protocol and service defined by ISO are studied by representing them in the notation of CCS. The behaviour of the CCR protocol and service is investigated on the Concurrency Workbench, and desirable properties of CCR are expressed and analyzed in the modal mu-calculus. The formulae are checked on the Concurrency Workbench.
Chapter PDF
Similar content being viewed by others
Keywords
References
Glenn Bruns, Stuart Anderson The Formalization and Analysis of a Communications Protocol, LFCS Report ECS-LFCS-91–137, University of Edinburgh, 1991
Commitment, Concurrency and Recovery Service — Amendment 1: enhancements February 1994
Commitment, Concurrency and Recovery Protocol — Amendment 1: enhancements February 1994
Jim Quigley ISO 9804/AM1 — Working draft # 4, ACSE Project, 1991
Amendment to CCR protocol specification (ISO/IEC 9805) covering enhancements—Working draft 4, September 1991
ISO/IEC JTC 1/SC 21 N 8502 Revised Text of PDTR 11589, LOTOS Description of CCR Service February 1994
ISO/IEC JTC 1/SC 21 N 8503 Revised Text of PDTR 11590, LOTOS Description of CCR Protocol February 1994
Joachim Parrow, Verifying a CSMA/CD-protocol with CCS Protocol Specification, Testing, and Verification VIII IFIP pp373–384, 1988
R. Milner, Communication and Concurrency, Prentice-Hall international, 1989
M. J. Morley Modelling British Rail’s Interlocking Logic: Geographic Data Correctness, LFCS Report ECS-LFCS-91–186, University of Edinburgh, 1991
Faron Moller, The Edinburgh Concurrency Workbench(Version 6.1), Department of Computer Science, University of Edinburgh, October, 1992
Alistair Munro, Job Transfer and Manipulation(JTM), Centre for Communications Research, University of Bristol, UKUUG and UKnet Winter Technical Meeting, Dec. 1989
C. Stirling, Temporal Logics for CCS, Lecture Notes in Computer Science 354, pp 660–672, 1989
D. J. Walker Automated Analysis of Mutual Exclusion Algorithms using CC’S, LFCS Report ECS-LFCS-89–91, University of Edinburgh, 1989
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Zhang, B., Munro, A., Barton, M. (1995). The Formalization and Analysis of CCR Protocol and Service. In: Hogrefe, D., Leue, S. (eds) Formal Description Techniques VII. IFIP Advances in Information and Communication Technology. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-34878-0_6
Download citation
DOI: https://doi.org/10.1007/978-0-387-34878-0_6
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-5041-2881-0
Online ISBN: 978-0-387-34878-0
eBook Packages: Springer Book Archive