The meaning of negative premises in transition system specifications
Journal of the ACM (JACM)
Algebraic approaches to nondeterminism—an overview
ACM Computing Surveys (CSUR)
A congruence theorem for structured operational semantics with predicates and negative premises
Nordic Journal of Computing
Embedding untimed into timed process algebra: the case for explicit termination
Mathematical Structures in Computer Science
A ground-complete axiomatization of finite state processes in process algebra
CONCUR 2005 - Concurrency Theory
SOS formats and meta-theory: 20 years after
Theoretical Computer Science
Simulations Up-to and Canonical Preorders
Electronic Notes in Theoretical Computer Science (ENTCS)
Semantics and expressiveness of ordered SOS
Information and Computation
(Bi)simulations up-to characterise process semantics
Information and Computation
A ground-complete axiomatisation of finite-state processes in a generic process algebra
Mathematical Structures in Computer Science
A Hierarchy of SOS Rule Formats
Electronic Notes in Theoretical Computer Science (ENTCS)
Information and Computation
| Hi-index | 0.00 |