Extending Compositional Message Sequence Graphs
Title | Extending Compositional Message Sequence Graphs |
Publication Type | Miscellaneous |
Year of Publication | 2002 |
Authors | Benedikt Bollig, Leucker, M, Lucas, P |
URL | http://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} }
PDF:
- News
- Research
- Teaching
- Staff
- Martin Leucker
- Diedrich Wolter
- Ulrike Schräger-Ahrens
- Aliyu Ali
- Mahmoud Abdelrehim
- Phillip Bende
- Juljan Bouchagiar
- Marc Bätje
- Tobias Braun
- Gerhard Buntrock
- Anja Grotrian
- Hannes Hesse
- Raik Hipler
- Elaheh Hosseinkhani
- Hannes Kallwies
- Frauke Kerlin
- Karam Kharraz
- Mohammad Khodaygani
- Ludwig Pechmann
- Waqas Rehan
- Martin Sachenbacher
- Andreas Schuldei
- Annette Stümpel
- Gesina Schwalbe
- Tobias Schwartz
- Daniel Thoma
- Lars Vosteen
- Open Positions
- Contact