References
G. Karjoth. XFSM: A formal model of communicating state machines for implementation specifications. Research Report RZ 2209, IBM Research Division, 9/12/1991.
G. Karjoth, C. Binding, and J. Gustafsson. LOEWE: A LOTOS engineering workbench. to appear in Computer Networks and ISDN Systems, North-Holland.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Karjoth, G. (1992). XFSM: A formal model of communicating state machines for implementation specifications. In: Etiemble, D., Syre, JC. (eds) PARLE '92 Parallel Architectures and Languages Europe. PARLE 1992. Lecture Notes in Computer Science, vol 605. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55599-4_151
Download citation
DOI: https://doi.org/10.1007/3-540-55599-4_151
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55599-5
Online ISBN: 978-3-540-47250-6
eBook Packages: Springer Book Archive