## Recent Trends in Algebraic Development Techniques: 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected PapersThis book constitutes the thoroughly refereed postproceedings of the 18th International Workshop on Algebraic Development Techniques, WADT 2006, held in La Roche en Ardenne, Belgium, June 2006. The 10 revised full papers focus on the algebraic approach to the specification and development of systems and address topics such as formal methods for system development, specification languages and methods, and distributed and mobile systems. |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

1 | |

On the Algebraization of ManySorted Logics | 21 |

Algebraic Semantics of Service Component Modules | 37 |

Autonomous Units and Their Semantics The Parallel Case | 56 |

Reasoning Support for Casl with Automated Theorem Proving Systems | 74 |

Structured CSP A Process Algebra as an Institution | 92 |

Incremental Resolution of Model Inconsistencies | 111 |

Coalgebraic Modal Logic in COCASL | 127 |

System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts | 142 |

A CoAlgebraic Analysis of Synchronization in CSP | 156 |

171 | |

### Other editions - View all

Recent Trends in Algebraic Development Techniques: 18th International ... José Luiz Fiadeiro,Pierre-Yves Schobbens No preview available - 2007 |

Recent Trends in Algebraic Development Techniques: 18th International ... José Luiz Fiadeiro,Pierre-Yves Schobbens No preview available - 2007 |

Recent Trends in Algebraic Development Techniques: 18th International ... José Luiz Fiadeiro,Pierre-Yves Schobbens No preview available - 2007 |

### Common terms and phrases

abstract algebraic semantics applied approach automata autonomous units axioms business roles Casl cellular automaton co-amalgamation coalgebraic coalgebraic modal logic CoCasl communities of autonomous comorphism components Computer Science corresponding cotype critical pair datatype defined Definition denote diagram edge encoding environment equations example Fiadeiro finite first-order logic formal formula function functor GetSoap given goal graph morphism graph transformation graph transformation rules graph transformation systems GTrS homomorphism interaction protocols interface labelled language Leibniz operator LNCS many-sorted logic maps modal logic model checking model inconsistencies module multisets nodes notion parallel rule partial Petri graph Petri net predicate lifting primitive operations Proc properties provers pullback pushouts relation resolution rules semantics sequential signature morphism single-sorted slicing SoftFOL Software sort Spass Springer SRML-P statechart structural subsort SVtL symbols synchronization syntax TCAN Theorem theory tool translation variables verification