FB 3
Group BKB
>
Research
>
Formal Methods
>
Deutsch
English
Publications: CASL-Methodology
Go to year:
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
2008
Back to top
Lutz Schröder (2008).
Bootstrapping Inductive and Coinductive Types in HasCASL
. In Logical Methods in Computer Science, 4 (4:17), pp. 1–27.
2007
Back to top
Lutz Schröder, Till Mossakowski (2007).
Coalgebraic Modal Logic in CoCASL
. In José Luiz Fiadeiro (Ed.), Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, Vol. 4409, pp. 128–142, Lecture Notes in Computer Science. Springer.
2006
Back to top
Daniel Hausmann, Till Mossakowski, Lutz Schröder (2006).
A Coalgebraic Approach to the Semantics of the Ambient Calculus
. In Theoretical Computer Science, 366 (1-2), pp. 121–143. Extends (Hausmann et al. 2005).
2005
Back to top
Daniel Hausmann, Till Mossakowski, Lutz Schröder (2005).
Towards a Coalgebraic Approach to the Semantics of the Ambient Calculus
. In Jose Fiadeiro, Neil Harman, Markus Roggenbach, Jan Rutten (Eds.), Algebra and Coalgebra in Computer Science, Vol. 3629, pp. 232–246, Lecture Notes in Computer Science. Springer, Berlin.
Kathrin Hoffmann, Francesco Parisi-Presicce, Till Mossakowski (2005).
Higher-order nets for mobile policies
. In Workshop on Petri Nets and Graph Transformations, 127 (2), pp. 87–105, Electronic Notes in Theoretical Computer Science.
Elsevier Science
.
Christoph Lüth, Markus Roggenbach, Lutz Schröder (2005).
CCC - The CASL Consistency Checker
. In JosĂ© Fiadeiro (Ed.), Recent Trends in Algebraic Development Techniques, 17th International Workshop (WADT 2004), Vol. 3423, pp. 94–105, Lecture Notes in Computer Science.
Springer, Berlin
.
Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Piotr Hoffman, Bartek Klin (2005).
Amalgamation in the semantics of CASL
. In Theoretical Computer Science, 331 (1), pp. 215–247.
Dennis Walter, Lutz Schröder, Till Mossakowski (2005).
Parametrized Exceptions
. In Jose Fiadeiro, Jan Rutten (Eds.), Algebra and Coalgebra in Computer Science, Vol. 3629, pp. 424–438, Lecture Notes in Computer Science.
Springer, Berlin
.
2004
Back to top
T. Mossakowski (2004).
CASL Basic Libraries
. In M. Bidoit, P. D. Mosses (Eds.), CASL User Manual, Vol. 2900, pp. 143–154, Lecture Notes in Computer Science. Springer Verlag, London.
Markus Roggenbach, Lutz Schröder, Till Mossakowski (2004).
Libraries
. In Peter Mosses (Ed.), CASL reference manual, Vol. 2960, Lecture Notes in Computer Science.
Springer, Berlin
. Early version appeared as CoFI note L-12, http://www.informatik.uni-bremen.de/cofi/old/Notes/L-12/index.html.
Lutz Schröder, Till Mossakowski (2004).
Monad-independent dynamic logic in HasCASL
. In Journal of Logic and Computation, 14 (4), pp. 571–619. Earlier version appeared in Martin Wirsing, Dirk Pattinson, and Rolf Hennicker (eds.), Recent Trends in Algebraic Development Techniques, 16th International Workshop (WADT 2002), LNCS vol. 2755, Springer, Berlin, 2003, pp. 425-441.
2003
Back to top
Lutz Schröder, Till Mossakowski (2003).
Monad-independent Hoare logic in HasCASL
. In Mauro Pezze (Ed.), Fundamental Approaches to Software Engineering (FASE 2003), Vol. 2621, pp. 261–277, Lecture Notes in Computer Science.
Springer, Berlin
.
2002
Back to top
Markus Roggenbach, Till Mossakowski (2002).
Methodological guidelines (for CASL)
. CoFI note M-6.
2001
Back to top
Markus Roggenbach, Lutz Schröder (2001).
Towards Trustworthy Specifications I: Consistency Checks
. In Maura Cerioli, Gianna Reggio (Eds.), Recent Trends in Algebraic Specification Techniques, 15th International Workshop, WADT 2001, Vol. 2267, Lecture Notes in Computer Science.
Springer, Berlin
.
2000
Back to top
Till Mossakowski (2000).
How to write consistent CASL design specifications
. CoFI note M-8.
Markus Roggenbach, Lutz Schröder, Till Mossakowski (2000).
Specifying real numbers in CASL
. In Christine Choppy, Didier Bert (Eds.), Recent Developments in Algebraic Development Techniques, 14th International Workshop, WADT'99, Vol. 1827, pp. 146–161, Lecture Notes in Computer Science.
Springer, Berlin
.
1999
Back to top
Till Mossakowski, Markus Roggenbach (1999).
The datatypes REAL and COMPLEX in CASL
. CoFI note M-7.
Show selected entries in BibTex Format
Author:
Dr. Till Mossakowski
Group BKB
Last updated: February 1, 2006