Decidability of split equivalence
Information and Computation
Information and Computation
Partial order semantics and read arcs
Theoretical Computer Science
Full Abstractness of a Metric Semantics for Action Refinement
Fundamenta Informaticae
Hi-index | 0.00 |