Nested Commits For Mobile Calculi: Extending Join
- 21 February 2006
- book chapter
- Published by Springer Nature
- p. 563-576
- https://doi.org/10.1007/1-4020-8141-3_43
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- A Framework for Generic Error Handling in Business ProcessesElectronic Notes in Theoretical Computer Science, 2004
- Flat Committed Join in JoinElectronic Notes in Theoretical Computer Science, 2004
- A Semantic Framework for Designer TransactionsPublished by Springer Nature ,2004
- Jocaml: mobile agents for Objective-CamlPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Abstractions for Fault-Tolerant Global Computing: Extended AbstractElectronic Notes in Theoretical Computer Science, 2002
- Orchestrating Transactions in Join Calculus*Published by Springer Nature ,2002
- Extending the concept of transaction compensationIBM Systems Journal, 2002
- Zero-Safe Nets: Comparing the Collective and Individual Token ApproachesInformation and Computation, 2000
- Structural operational semantics for AKLFuture Generation Computer Systems, 1992
- The chemical abstract machineTheoretical Computer Science, 1992