Contextual Petri nets, asymmetric event structures, and processes
Information and Computation
Models for Name-Passing Processes: Interleaving and Causal
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Mathematical Structures in Computer Science
A simple process algebra based on atomic actions with resources
Mathematical Structures in Computer Science
Well-behaved flow event structures for parallel composition and action refinement
Theoretical Computer Science
Models for name-passing processes: interleaving and causal
Information and Computation
CONCUR 2005 - Concurrency Theory
Event Structures for Arbitrary Disruption
Fundamenta Informaticae
Electronic Notes in Theoretical Computer Science (ENTCS)
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
Concurrency, Graphs and Models
Scalable simulation of cellular signaling networks
APLAS'07 Proceedings of the 5th Asian conference on Programming languages and systems
Proceedings of the 9th International Conference on Computational Methods in Systems Biology
Event Structures for Arbitrary Disruption
Fundamenta Informaticae
Parameterized Structured Operational Semantics
Fundamenta Informaticae
Reversibility and asymmetric conflict in event structures
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
A Compositional Semantics for the Reversible p-Calculus
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
| Hi-index | 0.00 |