Skip to main content
  • Conference proceedings
  • © 2007

Recent Trends in Algebraic Development Techniques

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

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)

Conference series link(s): WADT: International Workshop on Algebraic Development Techniques

Conference proceedings info: WADT 2006.

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (10 papers)

  1. Front Matter

  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
  3. Back Matter

Other Volumes

  1. Recent Trends in Algebraic Development Techniques

Keywords

  • automated theorem proving
  • calculi
  • calculus
  • cellular automata
  • formal method
  • formal methods
  • formal testing
  • graph transformation
  • logic
  • modal logic
  • modeling
  • process algebra
  • semantics
  • system development
  • theorem proving

Bibliographic Information

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions