Ordered SOS process languages for branching and Eager bisimulation
Information and Computation
Process Languages for Rooted Eager Bisimulation
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
SOS formats and meta-theory: 20 years after
Theoretical Computer Science
Semantics and expressiveness of ordered SOS
Information and Computation
A Hierarchy of SOS Rule Formats
Electronic Notes in Theoretical Computer Science (ENTCS)
Rule formats for non interference
ESOP'03 Proceedings of the 12th European conference on Programming
Hi-index | 0.00 |