Searching for "Transaction Calculus." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Concurrency combinators for declarative synchronization
- … include true parallelism, sequentiality, and isolation-only transactions. The calculus is equipped…
- Cited by 3 (2 self) – Add To MetaCart
-
Foundations of Web Transactions
- …, University of Bologna, Italy Abstract. A timed extension of π-calculus with a transaction construct…
- Cited by 27 (5 self) – Add To MetaCart
-
A Program Logic for Handling JAVA CARD's Transaction Mechanism
- … conditional assignments inside the transactions). We present the sequent calculus rules for our extensions. So…
- Cited by 22 (14 self) – Add To MetaCart
-
Webπ at work
- … in [7], where a process calculus is explicitly designed for modelling web transactions. This calculus…
- Cited by 1 (0 self) – Add To MetaCart
-
A Program Logic for Handling JAVA CARD's Transaction Mechanism
- … inside the transactions). We present the sequent calculus rules for our extensions. So far we have…
- Add To MetaCart
-
On the Serializability of Transactions in Shared Dataspaces with Temporary Data
- …], a formal investigation of the serializability of transactions in a process calculus containing…
- Cited by 4 (0 self) – Add To MetaCart
Showing 1 through 6.
