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

List of contents

Contributed Papers.- A Temporal Graph Logic for Verification of Graph Transformation Systems.- On the Algebraization of Many-Sorted Logics.- Algebraic Semantics of Service Component Modules.- Autonomous Units and Their Semantics - The Parallel Case.- Reasoning Support for Casl with Automated Theorem Proving Systems.- Structured CSP - A Process Algebra as an Institution.- Incremental Resolution of Model Inconsistencies.- Coalgebraic Modal Logic in CoCasl.- SVtL: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts.- A (Co)Algebraic Analysis of Synchronization in CSP.

Product details

• Assisted by: José Luiz Fiadeiro (Editor), Pierre-Yves Schobbens (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 24.04.2007
• EAN: 9783540719977
• ISBN: 978-3-540-71997-7
• No. of pages: 174
• Dimensions: 155 mm x 10 mm x 235 mm
• Weight: 272 g
• Illustrations: VIII, 174 p.
• Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > IT; C, Software Engineering, Theoretische Informatik, Mathematik für Informatiker, computer science, Software Engineering/Programming and Operating Systems, Logics and Meanings of Programs, Operating systems, Mathematical theory of computation, Computer programming / software engineering, Computer science—Mathematics, Maths for computer scientists, Mathematical logic, Mathematical Logic and Formal Languages, Symbolic and Algebraic Manipulation, Computer architecture & logic design, Computer logic, Computer Science Logic and Foundations of Programming, Formal Languages and Automata Theory