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 
- Paolo Baldan, Andrea Corradini, Barbara König, Alberto Lluch-Lafuente:
A Temporal Graph Logic for Verification of Graph Transformation Systems.
1-20
- Carlos Caleiro, Ricardo Gonçalves:
On the Algebraization of Many-Sorted Logics.
21-36
- José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi:
Algebraic Semantics of Service Component Modules.
37-55
- Hans-Jörg Kreowski, Sabine Kuske:
Autonomous Units and Their Semantics - The Parallel Case.
56-73
- Klaus Lüttich, Till Mossakowski:
Reasoning Support for Caslwith Automated Theorem Proving Systems.
74-91
- Till Mossakowski, Markus Roggenbach:
Structured CSP - A Process Algebra as an Institution.
92-110
- Tom Mens, Ragnhild Van Der Straeten:
Incremental Resolution of Model Inconsistencies.
111-126
- Lutz Schröder, Till Mossakowski:
Coalgebraic Modal Logic in CoCasl.
127-141
- Sara Van Langenhove, Albert Hoogewijs:
SVtL: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts.
142-155
- Uwe Wolter:
A (Co)Algebraic Analysis of Synchronization in CSP.
156-170
Last update Tue Feb 14 04:12:51 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
