@article {3483,
	title = {Compositional Specification of Behavioral Semantics},
	year = {2006},
	month = {June},
	institution = {Institute for Software Integrated Systems},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Chen_K_6_1_2006_Compositio.doc},
	author = {Chen, Kai and Sztipanovits, Janos and Neema, Sandeep}
}
