Universität Bremen  
  FB 3  
  Group BKB > Research > Formal Methods > Deutsch

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.   detail   pdf

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.   detail   pdf   postscript

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.   detail   pdf   postscript
      Show selected entries in BibTex Format
Author: Dr. Till Mossakowski
  Group BKB 
Last updated: February 1, 2006   impressum