18. WADT 2006:
La Roche en Ardenne,
Belgium
José Luiz Fiadeiro, Pierre-Yves Schobbens (Eds.):
Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers.
Lecture Notes in Computer Science 4409 Springer 2007, ISBN 978-3-540-71997-7 BibTeX
- Paolo Baldan, Andrea Corradini, Barbara König, Alberto Lluch-Lafuente:
A Temporal Graph Logic for Verification of Graph Transformation Systems.
1-20
Electronic Edition (link) BibTeX
- Carlos Caleiro, Ricardo Gonçalves:
On the Algebraization of Many-Sorted Logics.
21-36
Electronic Edition (link) BibTeX
- José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi:
Algebraic Semantics of Service Component Modules.
37-55
Electronic Edition (link) BibTeX
- Hans-Jörg Kreowski, Sabine Kuske:
Autonomous Units and Their Semantics - The Parallel Case.
56-73
Electronic Edition (link) BibTeX
- Klaus Lüttich, Till Mossakowski:
Reasoning Support for Caslwith Automated Theorem Proving Systems.
74-91
Electronic Edition (link) BibTeX
- Till Mossakowski, Markus Roggenbach:
Structured CSP - A Process Algebra as an Institution.
92-110
Electronic Edition (link) BibTeX
- Tom Mens, Ragnhild Van Der Straeten:
Incremental Resolution of Model Inconsistencies.
111-126
Electronic Edition (link) BibTeX
- Lutz Schröder, Till Mossakowski:
Coalgebraic Modal Logic in CoCasl.
127-141
Electronic Edition (link) BibTeX
- Sara Van Langenhove, Albert Hoogewijs:
SVtL: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts.
142-155
Electronic Edition (link) BibTeX
- Uwe Wolter:
A (Co)Algebraic Analysis of Synchronization in CSP.
156-170
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:47:11 2009
by Michael Ley (ley@uni-trier.de)
