A congruence theorem for structured operational semantics with predicates and negative premises
Nordic Journal of Computing
A characterization of regular expressions under bisimulation
Journal of the ACM (JACM)
Atomicity And Concurrency Control In Process Calculi
Fundamenta Informaticae
Hi-index | 0.00 |