Skip to main content
SpringerLink
Log in
Book cover

Recent Trends in Algebraic Development Techniques

18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers

  • Conference proceedings
  • © 2007

Overview

Editors:
  1. José Luiz Fiadeiro
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Pierre-Yves Schobbens
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 4409)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: WADT 2006.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (10 papers)

  1. Front Matter

    Download chapter PDF

  2. Contributed Papers

    1. A Temporal Graph Logic for Verification of Graph Transformation Systems

      • Paolo Baldan, Andrea Corradini, Barbara König, Alberto Lluch Lafuente
      Pages 1-20

    2. On the Algebraization of Many-Sorted Logics

      • Carlos Caleiro, Ricardo Gonçalves
      Pages 21-36

    3. Algebraic Semantics of Service Component Modules

      • José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi
      Pages 37-55

    4. Autonomous Units and Their Semantics - The Parallel Case

      • Hans-Jörg Kreowski, Sabine Kuske
      Pages 56-73

    5. Reasoning Support for Casl with Automated Theorem Proving Systems

      • Klaus Lüttich, Till Mossakowski
      Pages 74-91

    6. Structured CSP – A Process Algebra as an Institution

      • Till Mossakowski, Markus Roggenbach
      Pages 92-110

    7. Incremental Resolution of Model Inconsistencies

      • Tom Mens, Ragnhild Van Der Straeten
      Pages 111-126

    8. Coalgebraic Modal Logic in CoCasl

      • Lutz Schröder, Till Mossakowski
      Pages 127-141

    9. SVtL: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts

      • Sara Van Langenhove, Albert Hoogewijs
      Pages 142-155

    10. A (Co)Algebraic Analysis of Synchronization in CSP

      • Uwe Wolter
      Pages 156-170

  3. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Recent Trends in Algebraic Development Techniques

Keywords

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation