Modelling Statecharts behaviour in a fully abstract way

C. Huizing, R.T. Gerth, W.P. Roever, de

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationCAAP'88 (Proceedings 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988)
EditorsM. Dauchet, M. Nivat
Place of PublicationBerlin
PublisherSpringer
Pages271-294
ISBN (Print)3-540-19021-X
DOIs
Publication statusPublished - 1988

Publication series

NameLecture Notes in Computer Science
Volume299
ISSN (Print)0302-9743

Cite this

Huizing, C., Gerth, R. T., & Roever, de, W. P. (1988). Modelling Statecharts behaviour in a fully abstract way. In M. Dauchet, & M. Nivat (Eds.), CAAP'88 (Proceedings 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988) (pp. 271-294). (Lecture Notes in Computer Science; Vol. 299). Springer. https://doi.org/10.1007/BFb0026110