Advertisement

XFSM: A formal model of communicating state machines for implementation specifications

  • Günter Karjoth
Posters
Part of the Lecture Notes in Computer Science book series (LNCS, volume 605)

References

  1. 1.
    G. Karjoth. XFSM: A formal model of communicating state machines for implementation specifications. Research Report RZ 2209, IBM Research Division, 9/12/1991.Google Scholar
  2. 2.
    G. Karjoth, C. Binding, and J. Gustafsson. LOEWE: A LOTOS engineering workbench. to appear in Computer Networks and ISDN Systems, North-Holland.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Günter Karjoth
    • 1
  1. 1.IBM Research DivisionZurich Research LaboratoryRüschlikonSwitzerland

Personalised recommendations