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
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have