Modeling statecharts behavior in a fully abstract way (1988)

by C HUlZNO, R GR, D 0S ltoW, W P
Venue:In Proceedings of the Cvlioquium on Trees in Algebra and Programming. Lecture Notes in Computer Science