Publikationen

Seite 8 von 10.

Till Mossakowski; Markus Roggenbach
Structured CSP -- A Process Algebra as an Institution
In: J. Fiadeiro (Hrsg.). WADT 2006. International Workshop on Algebraic Development Techniques (WADT-06), 18th, June 1-3, La Roche en Ardenne, …
Stefan Wölfl; Till Mossakowski; Lutz Schröder
Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables
In: David Wilson; Geoff Sutcliffe (Hrsg.). 20th International FLAIRS Conference. International FLAIRS Conference (FLAIRS-20), May 7-9, Key West, …
Till Mossakowski; Andrzej Tarlecki; Razvan Diaconescu
What is a logic translation?
Pages 95-124, Logica Universalis, Vol. 3 (1), 2007.
Oliver Kutz; Till Mossakowski
Modules in Transition - Conservativity, Composition, and Colimits
In: Bernardo Cuenca-Grau; Vasant Honavar; Anne Schlicht; Frank Wolter (Hrsg.). Second International Workshop on Modular Ontologies. International …
Lutz Schröder
Bootstrapping Types and Cotypes in HasCASL
In: Till Mossakowski; Udo Montanari (Hrsg.). Algebra and Coalgebra in Computer Science. Conference on Algebra and Coalgebra in Computer Science …
Lutz Schröder; Till Mossakowski
Coalgebraic Modal Logic in CoCASL
In: José Luiz Fiadeiro (Hrsg.). Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006. International Workshop on …
Till Mossakowski; Serge Autexier; Dieter Hutter
Development Graphs -- Proof Management for Structured Specifications
In: Journal of Logic and Algebraic Programming (JLAP), Vol. 67, No. 1--2, Pages 114-145, 2006.
Daniel Hausmann; Till Mossakowski; Lutz Schröder
A Coalgebraic Approach to the Semantics of the Ambient Calculus
In: Theoretical Computer Science, Vol. 366, No. 1-2, Pages 121-143, 2006.
Stefan Wölfl; Till Mossakowski (Hrsg.)
Qualitative Constraint Calculi: Application and Integration, Workshop at KI 2006, Bremen, Germany, June 14, 2006, Workshop Proceedings
German Conference on Artificial Intelligence (KI-2006), located at 29th annual German Conference on Artificial Intelligence, June 14, Bremen, Germany, …
Till Mossakowski
Institutional 2-cells and Grothendieck institutions
In: K. Futatsugi; J.-P. Jouannaud; J. Meseguer (Hrsg.). Algebra, Meaning and Computation. Essays Dedicated to Joseph A. Goguen on the Occasion of His …