![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
18. WADT 2006: La Roche en Ardenne, Belgium
- José Luiz Fiadeiro, Pierre-Yves Schobbens
:
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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.