Petri nets: an introduction
Concurrency control and recovery in database systems
Concurrency control and recovery in database systems
Selected papers of the Second Workshop on Concurrency and compositionality
The reflexive CHAM and the join-calculus
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Zero-safe nets: comparing the collective and individual token approaches
Information and Computation - Special issue on EXPRESS 1997
Transaction Processing: Concepts and Techniques
Transaction Processing: Concepts and Techniques
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
High-Level Petri Nets as Type Theories in the Join Calculus
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
Transactions and Zero-Safe Nets
Unifying Petri Nets, Advances in Petri Nets
LICS '95 Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science
Centralized and distributed orchestration of transactions in the join calculus
Centralized and distributed orchestration of transactions in the join calculus
Concurrent models for Linda with transactions
Mathematical Structures in Computer Science
Abstractions for fault-tolerant global computing
Theoretical Computer Science - Special issue: Foundations of wide area network computing
Theoretical Computer Science - Special issue: Computational systems biology
CONCUR 2005 - Concurrency Theory
A transactional object calculus
Science of Computer Programming
Science of Computer Programming
Prototype Platforms for Distributed Agreements
Electronic Notes in Theoretical Computer Science (ENTCS)
The BlenX Language with Biological Transactions
Transactions on Computational Systems Biology IX
Web Services and Models of Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
A Process Calculus of Atomic Commit
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Process algebraic support for web service composition
ACM SIGSOFT Software Engineering Notes
Liveness of communicating transactions
APLAS'10 Proceedings of the 8th Asian conference on Programming languages and systems
TGC'05 Proceedings of the 1st international conference on Trustworthy global computing
Model checking for nominal calculi
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
Foundations of web transactions
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
A case study of web services orchestration
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
PiDuce: a process calculus with native XML datatypes
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Timing issues in web services composition
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Dreams: a framework for distributed synchronous coordination
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Hi-index | 0.00 |
We discuss the principles of distributed transactions, then we define an operational model which meets the basic requirements and we give a prototyping implementation for it in join-calculus. Our model: (1) extends BizTalk with multiway transactions; (2) exploits an original algorithm, for distributed commit; (3) can deal with dynamically changing communication topology; (4) is almost language-independent. In fact, the model is based on a two-level classification of resources, which should be easily conveyed to distributed calculi and languages, providing them with a uniform transactional mechanism.