A2CCS: atomic actions for CCS

This publication has 5 references indexed in Scilit:

• Concurrency and atomicity
  Theoretical Computer Science, 1988
• Hierarchical correctness proofs for distributed algorithms
  Published by Association for Computing Machinery (ACM) ,1987
• Process algebra for synchronous communication
  Information and Control, 1984
• Specifying Concurrent Program Modules
  ACM Transactions on Programming Languages and Systems, 1983
• Concurrency Control in Distributed Database Systems
  ACM Computing Surveys, 1981