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