Extending Compositional Message Sequence Graphs

TitleExtending Compositional Message Sequence Graphs
Publication TypeMiscellaneous
Year of Publication2002
AuthorsBenedikt Bollig, Leucker, M, Lucas, P
URLhttp://www.cis.upenn.edu/ techreports/abstracts02.html
Bibtex: 
@booklet {BolligLeuckerLucas02,
	title = {Extending Compositional Message Sequence Graphs},
	number = {MS-CIS-02-09},
	year = {2002},
	publisher = {University of Pennsylvania},
	url = {http://www.cis.upenn.edu/~techreports/abstracts02.html},
	author = {Benedikt Bollig and Martin Leucker and Philipp Lucas}
}