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. Technical Report B24, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, December 2007.

Suggested BibTeX entry:

@techreport{HUT-TCS-B24,
    address = {Espoo, Finland},
    author = {Jori Dubrovin and Tommi Junttila and Keijo Heljanko},
    institution = {Helsinki University of Technology, Laboratory for Theoretical Computer Science},
    month = {December},
    number = {B24},
    title = {Symbolic Step Encodings for Object Based Communicating State Machines},
    type = {Technical Report},
    year = {2007},
}