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 Gilles Barthe and Frank S. de Boer, editors, Proceedings of the 10th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'08), volume 5051 of Lecture Notes in Computer Science, pages 96–112, Oslo, Norway, June 2008. Springer-Verlag.

Suggested BibTeX entry:

@inproceedings{DubJunHel:FMOODS08,
    address = {Oslo, Norway},
    author = {Jori Dubrovin and Tommi Junttila and Keijo Heljanko},
    booktitle = {Proceedings of the 10th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'08)},
    editor = {Gilles Barthe and Frank S. de Boer},
    month = {June},
    pages = {96--112},
    publisher = {Springer-Verlag},
    series = {Lecture Notes in Computer Science},
    title = {Symbolic Step Encodings for Object Based Communicating State Machines},
    volume = {5051},
    year = {2008},
}