A2CCS: A simple extension of CCS for handling atomic actions
- 10 June 2005
- book chapter
- Published by Springer Nature
- p. 258-270
- https://doi.org/10.1007/bfb0026109
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- On interprocess communicationDistributed Computing, 1986
- Concurrency Control in Distributed Database SystemsACM Computing Surveys, 1981