Symbolic Step Encodings for Object Based Communicating State Machines

Reference:

Jori Dubrovin, Tommi Junttila, and Keijo Heljanko. Symbolic step encodings for object based communicating state machines. In G. Barthe and F. de Boer, editors, FMOODS 2008, volume 5051 of Lecture Notes in Computer Science, pages 96–112. Springer, 2008.

Suggested BibTeX entry:

@inproceedings{DubrovinJunttilaHeljanko:FMOODS2008,
    author = {Jori Dubrovin and Tommi Junttila and Keijo Heljanko},
    booktitle = {FMOODS 2008},
    editor = {Barthe, G. and de Boer, F.},
    pages = {96--112},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Symbolic Step Encodings for Object Based Communicating State Machines},
    volume = {5051},
    year = {2008},
}