Foundations of Web Transactions
- 1 January 2005
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- A Trace Semantics for Long-Running TransactionsPublished by Springer Nature ,2005
- A calculus of mobile processes, IPublished by Elsevier ,2004
- An Operational Semantics for StAC, a Language for Modelling Long-Running Business TransactionsPublished by Springer Nature ,2004
- Basic Theory of Reduction Congruence forTwo Timed Asynchronous π-CalculiPublished by Springer Nature ,2004
- A Calculus for Long-Running TransactionsPublished by Springer Nature ,2003
- Orchestrating Transactions in Join Calculus*Published by Springer Nature ,2002
- Web Services and Their CompositionPublished by Springer Nature ,2001
- On bisimulations for the asynchronous π-calculusTheoretical Computer Science, 1998
- A hierarchy of equivalences for asynchronous calculiPublished by Springer Nature ,1998
- On asynchronous communication semanticsPublished by Springer Nature ,1992