Publications: CSP-CASL

Go to year:  2005   2003 

2005     Back to top

Till Mossakowski (2005). Heterogeneous specification and the heterogeneous tool set. Universitaet Bremen. Technical Report. Habilitation thesis.

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