Searching for "Structured Operational Semantics and Bisimulation as a Congruence" – sorted by Relevance.
-
Bibliography
- .F. Groote and F. Vaandrager. Structured operational semantics and bisimulation as a congruence. Information
- Add To MetaCart

