A congruence theorem for structured operational semantics with predicates and negative premises
Nordic Journal of Computing
CONCUR 2005 - Concurrency Theory
Splitting bisimulations and retrospective conditions
Information and Computation
Reversible enhanced event structures: Towards reversible E-LOTOS
Computer Standards & Interfaces
A concurrent calculus with atomic transactions
ESOP'07 Proceedings of the 16th European conference on Programming
Strong splitting bisimulation equivalence
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
Hi-index | 0.00 |