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.KeywordsB.4.5 ReliabilityTesting and Fault-ToleranceC.2.2 Network ProtocolsC.2.4 Distributed Systems

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call