The meaning of negative premises in transition system specifications
Journal of the ACM (JACM)
Ordered SOS process languages for branching and Eager bisimulation
Information and Computation
An Axiomatic Semantics for the Synchronous Language Gentzen
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
An axiomatic semantics for the synchronous language Gentzen
Journal of Computer and System Sciences
A format for semantic equivalence comparison
Theoretical Computer Science
CCS with Hennessy's merge has no finite-equational axiomatization
Theoretical Computer Science - Expressiveness in concurrency
SOS formats and meta-theory: 20 years after
Theoretical Computer Science
Compositional semantics and behavioral equivalences for P Systems
Theoretical Computer Science
Generating priority rewrite systems for OSOS process languages
Information and Computation
A Hierarchy of SOS Rule Formats
Electronic Notes in Theoretical Computer Science (ENTCS)
A syntactic commutativity format for SOS
Information Processing Letters
PREG axiomatizer: a ground bisimilarity checker for GSOS with predicates
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
Parameterized Structured Operational Semantics
Fundamenta Informaticae
Atomicity And Concurrency Control In Process Calculi
Fundamenta Informaticae
The saga of the axiomatization of parallel composition
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
Hi-index | 0.00 |