Compositional SOS and beyond: a coalgebraic view of open systems
Theoretical Computer Science
Pi-Congruences as CCS Equivalences
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
A First Order Coalgebraic Model of pi-Calculus Early Observational Equivalence
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
On the expressiveness of pure safe ambients
Mathematical Structures in Computer Science
On the bisimulation proof method
Mathematical Structures in Computer Science
A CPS encoding of name-passing in higher-order mobile embedded resources
Theoretical Computer Science - Expressiveness in concurrency
On Beta-Binders Communications
Concurrency, Graphs and Models
Bigraphical Semantics of Higher-Order Mobile Embedded Resources with Local Names
Electronic Notes in Theoretical Computer Science (ENTCS)
Parameterized Structured Operational Semantics
Fundamenta Informaticae
| Hi-index | 0.00 |