Cornelis Huizing, Rob Gerth, Willem P. de Roever. Modeling Statecharts Behaviour in a Fully Abstract Way. In Max Dauchet, Maurice Nivat, editors, CAAP 88, 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988, Proceedings. Volume 299 of Lecture Notes in Computer Science, pages 271-294, Springer, 1988.
@inproceedings{HuizingGR88, title = {Modeling Statecharts Behaviour in a Fully Abstract Way}, author = {Cornelis Huizing and Rob Gerth and Willem P. de Roever}, year = {1988}, tags = {modeling}, researchr = {https://researchr.org/publication/HuizingGR88}, cites = {0}, citedby = {0}, pages = {271-294}, booktitle = {CAAP 88, 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988, Proceedings}, editor = {Max Dauchet and Maurice Nivat}, volume = {299}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-19021-X}, }