Transition System Specifications in Stalk Format With Bisimulation as a Congruence (1994)

by Van Oostrom , E. P. De Vink
Venue:in Proceedings 11th Symposium on Theoretical Aspects of Computer Science
Citations:1 - 0 self