Concurrency control and recovery in database systems
Concurrency control and recovery in database systems
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
Bisimulations in the join-calculus
Theoretical Computer Science
Orchestrating Transactions in Join Calculus
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
Transactions and Zero-Safe Nets
Unifying Petri Nets, Advances in Petri Nets
Extending the concept of transaction compensation
IBM Systems Journal
Prototype Platforms for Distributed Agreements
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |