Interface Automata with Complex Actions: Limiting Interleaving in Interface Automata
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
Synchronous Multiparty Synchronizations and Transactions
Concurrency, Graphs and Models
Models of Computation: A Tribute to Ugo Montanari's Vision
Concurrency, Graphs and Models
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
Concurrency, Graphs and Models
Interface Automata with Complex Actions
Electronic Notes in Theoretical Computer Science (ENTCS)
A concurrent calculus with atomic transactions
ESOP'07 Proceedings of the 16th European conference on Programming
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Liveness of communicating transactions
APLAS'10 Proceedings of the 8th Asian conference on Programming languages and systems
An Operational Petri Net Semantics for A 2CCS
Fundamenta Informaticae
Interface Automata with Complex Actions: Limiting Interleaving in Interface Automata
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
Atomicity And Concurrency Control In Process Calculi
Fundamenta Informaticae
| Hi-index | 0.00 |