@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},
}