Transactions in RCCS
- 1 January 2005
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 398-412
- https://doi.org/10.1007/11539452_31
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Nested Commits For Mobile Calculi: Extending JoinPublished by Springer Science and Business Media LLC ,2006
- Reversible Communicating SystemsLecture Notes in Computer Science, 2004
- A Calculus for Long-Running TransactionsLecture Notes in Computer Science, 2003
- Orchestrating Transactions in Join Calculus*Lecture Notes in Computer Science, 2002
- Zero-Safe Nets: Comparing the Collective and Individual Token ApproachesInformation and Computation, 2000
- Decoding choice encodingsLecture Notes in Computer Science, 1996
- Causality for mobile processesLecture Notes in Computer Science, 1995
- Process algebra with backtrackingLecture Notes in Computer Science, 1994
- Permutation of transitions: An event structure semantics for CCS and SCCSLecture Notes in Computer Science, 1989
- Thermodynamical approach to the traveling salesman problem: An efficient simulation algorithmJournal of Optimization Theory and Applications, 1985