Schönberger A., Wirtz G.: Configurable analysis of sequential multi-party choreographies.
Comput. Syst. Sci. Eng 27 (2) 2012, Bibtex,(366.0 B)PDF(1.2 MB)



This material is presented to ensure timely dissemination of scholarly
and technical work. Copyright and all rights therein are retained by
authors or by other copyright holders. All persons copying this
information are expected to adhere to the terms and constraints invoked
by each author's copyright. In most cases, these works may not be
reposted without the explicit permission of the copyright holder.