Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers - researchr publication

researchr

You are not signed in
Sign in
Sign up

José Luiz Fiadeiro, Pierre Yves Schobbens, editors, Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers. Volume 4409 of Lecture Notes in Computer Science, Springer, 2007.

Conference: WADT2007

Publication has no abstract

A Temporal Graph Logic for Verification of Graph Transformation SystemsPaolo Baldan, Andrea Corradini, Barbara König, Alberto Lluch-Lafuente. 1-20 [doi]

On the Algebraization of Many-Sorted LogicsCarlos Caleiro, Ricardo Gonçalves. 21-36 [doi]

Algebraic Semantics of Service Component ModulesJosé Luiz Fiadeiro, Antónia Lopes, Laura Bocchi. 37-55 [doi]

Autonomous Units and Their Semantics - The Parallel CaseHans-Jörg Kreowski, Sabine Kuske. 56-73 [doi]

Reasoning Support for Caslwith Automated Theorem Proving SystemsKlaus Lüttich, Till Mossakowski. 74-91 [doi]

Structured CSP - A Process Algebra as an InstitutionTill Mossakowski, Markus Roggenbach. 92-110 [doi]

Incremental Resolution of Model InconsistenciesTom Mens, Ragnhild Van Der Straeten. 111-126 [doi]

Coalgebraic Modal Logic in CoCaslLutz Schröder, Till Mossakowski. 127-141 [doi]

SV::t::L: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical StatechartsSara Van Langenhove, Albert Hoogewijs. 142-155 [doi]

A (Co)Algebraic Analysis of Synchronization in CSPUwe Wolter. 156-170 [doi]

runs on WebDSL