Publications: CSP

Go to year:  2012   2007   2003 

2012     Back to top

Liam O'Reilly, Till Mossakowski, Markus Roggenbach (2012). Compositional modelling and reasoning in an institution for processes and data. In Till Mossakowski, Hans-Jörg Kreowski (Eds.), WADT 2010, Vol. 7137, pp. 251–269, Lecture Notes in Computer Science. Springer.

2007     Back to top

Till Mossakowski, Markus Roggenbach (2007). Structured CSP -- A Process Algebra as an Institution. In J. Fiadeiro (Ed.), WADT 2006, Vol. 4409, pp. 92–110, Lecture Notes in Computer Science. Springer-Verlag Heidelberg.

2003     Back to top

	Till Mossakowski, Markus Roggenbach, Lutz Schröder (2003). CoCASL at work --- Modelling Process Algebra. In Hans-Peter Gumm (Ed.), Coalgebraic Methods in Computer Science, Vol. 82, Electronic Notes in Theoretical Computer Science. Elsevier Science.
Show selected entries in BibTex Format