Correct performance of transaction capabilities
- 13 November 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. i, 35-42
- https://doi.org/10.1109/csd.2001.981762
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Introduction to Process AlgebraPublished by Springer Nature ,2000
- Branching time and abstraction in bisimulation semanticsJournal of the ACM, 1996
- CADP a protocol validation and verification toolboxLecture Notes in Computer Science, 1996
- The Syntax and Semantics of μCRLPublished by Springer Nature ,1995
- Algebra of communicating processes with abstractionTheoretical Computer Science, 1985