Ordered SOS process languages for branching and Eager bisimulation
Information and Computation
Mathematical Structures in Computer Science
Electronic Notes in Theoretical Computer Science (ENTCS)
Is observational congruence on μ-expressions axiomatisable in equational Horn logic?
Information and Computation
Hi-index | 0.01 |