| Towards a Truly Concurrent Semantics for Reversible CCS. | 0 | 0.34 | 2021 |
| Reversible Occurrence Nets and Causal Reversible Prime Event Structures. | 0 | 0.34 | 2020 |
| On Resolving Non-determinism in Choreographies. | 0 | 0.34 | 2020 |
| Bayesian network semantics for Petri nets | 0 | 0.34 | 2020 |
| Implementation Correctness for Replicated Data Types, Categorically. | 0 | 0.34 | 2020 |
| A Choreography-Driven Approach to APIs - The OpenDXL Case Study. | 0 | 0.34 | 2020 |
| Data-Driven Choreographies à la Klaim. | 0 | 0.34 | 2019 |
| Concurrency and Probability: Removing Confusion, Compositionally. | 0 | 0.34 | 2019 |
| A Categorical Account of Replicated Data Types. | 0 | 0.34 | 2019 |
| Unifying Inference for Bayesian and Petri Nets. | 0 | 0.34 | 2018 |
| Event Structures for Petri nets with Persistence. | 1 | 0.37 | 2018 |
| Concurrency and Probability: Removing Confusion, Compositionally. | 2 | 0.40 | 2018 |
| On the semantics and implementation of replicated data types. | 0 | 0.34 | 2018 |
| Chaperone contracts for higher-order sessions | 0 | 0.34 | 2017 |
| 5th FME Workshop on Formal Methods in Software Engineering (FormaliSE 2017) | 0 | 0.34 | 2017 |
| A Formal Analysis Of The Global Sequence Protocol | 2 | 0.37 | 2016 |
| Multiparty Testing Preorders. | 0 | 0.34 | 2016 |
| cJoin: Join with communicating transactions. | 2 | 0.41 | 2015 |
| On the behaviour of general purpose applications on cloud storages. | 1 | 0.40 | 2015 |
| A Normal Form for Stateful Connectors. | 0 | 0.34 | 2015 |
| Resolving Non-determinism in Choreographies. | 1 | 0.34 | 2014 |
| Behaviour, Interaction and Dynamics. | 1 | 0.35 | 2014 |
| From Hierarchical BIP to Petri Calculus. | 0 | 0.34 | 2014 |
| On the Behaviour of General-Purpose Applications on Cloud Storages. | 0 | 0.34 | 2013 |
| Connector algebras for C/E and P/T nets' interactions. | 20 | 0.89 | 2013 |
| A Survey on Basic Connectors and Buffers. | 1 | 0.36 | 2011 |
| Contracts for Abstract Processes in Service Composition | 0 | 0.34 | 2010 |
| Synchronous Multiparty Synchronizations and Transactions | 0 | 0.34 | 2008 |
| Transactional Service Level Agreement | 6 | 0.46 | 2007 |
| Event Structure Semantics for Dynamic Graph Grammars | 4 | 0.42 | 2006 |
| Nested Commits for Mobile Calculi: Extending Join | 36 | 1.86 | 2004 |
| Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets | 5 | 0.44 | 2003 |
