Ordered SOS process languages for branching and Eager bisimulation
Information and Computation
A fully abstract model for the π-calculus
Information and Computation
A format for semantic equivalence comparison
Theoretical Computer Science
SOS formats and meta-theory: 20 years after
Theoretical Computer Science
The equational theory of prebisimilarity over basic CCS with divergence
Information Processing Letters
Parameterized Structured Operational Semantics
Fundamenta Informaticae
Hi-index | 0.00 |