Skip to main content
  • Conference proceedings
  • © 2009

Recent Trends in Algebraic Development Techniques

19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers

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

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 2008.

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 (21 papers)

  1. Front Matter

  2. Invited Talks

    1. Concurrent Abstract State Machines and  +  CAL Programs

      • Michael Altenhofen, Egon Börger
      Pages 1-17
    2. Molecules as Automata

      • Luca Cardelli
      Pages 18-20
    3. Service-Level Agreements for Service-Oriented Computing

      • Allan Clark, Stephen Gilmore, Mirco Tribastone
      Pages 21-36
  3. Contributed Papers

    1. Tiles for Reo

      • Farhad Arbab, Roberto Bruni, Dave Clarke, Ivan Lanese, Ugo Montanari
      Pages 37-55
    2. C-semiring Frameworks for Minimum Spanning Tree Problems

      • Stefano Bistarelli, Francesco Santini
      Pages 56-70
    3. What Is a Multi-modeling Language?

      • Artur Boronat, Alexander Knapp, José Meseguer, Martin Wirsing
      Pages 71-87
    4. Graph Transformation with Dependencies for the Specification of Interactive Systems

      • Andrea Corradini, Luciana Foss, Leila Ribeiro
      Pages 102-118
    5. Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi

      • Pietro Di Gianantonio, Furio Honsell, Marina Lenisa
      Pages 119-134
    6. A Rewriting Logic Approach to Type Inference

      • Chucky Ellison, Traian Florin Şerbănuţă, Grigore Roşu
      Pages 135-151
    7. Transformations of Conditional Rewrite Systems Revisited

      • Karl Gmeiner, Bernhard Gramlich
      Pages 166-186
    8. Towards a Module System for K

      • Mark Hills, Grigore Roşu
      Pages 187-205
    9. Property Preserving Refinement for Csp-Casl

      • Temesghen Kahsai, Markus Roggenbach
      Pages 206-220
    10. Reconfiguring Distributed Reo Connectors

      • Christian Koehler, Farhad Arbab, Erik de Vink
      Pages 221-235
    11. A Rewrite Approach for Pattern Containment

      • Barbara Kordy
      Pages 236-250
    12. Heterogeneous Logical Environments for Distributed Specifications

      • Till Mossakowski, Andrzej Tarlecki
      Pages 266-289
    13. Term-Generic Logic

      • Andrei Popescu, Grigore Roşu
      Pages 290-307

Other Volumes

  1. Recent Trends in Algebraic Development Techniques

About this book

This book constitutes the thoroughly refereed post-conference proceedings of the 19th International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2008, held in Pisa, Italy, on June 13-16, 2008. The 18 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 33 presentations at the workshop. The papers focus on the algebraic approaches to the specification and development of systems, and address topics such as formal methods for system development, specification languages and methods, systems and techniques for reasoning about specifications, specification development systems, methods and techniques for concurrent, distributed and mobile systems, and algebraic and co-algebraic foundations.

Keywords

  • algebra
  • distributed specifications
  • graph theory
  • linear time
  • minimum spanning tree
  • molecular automata
  • multisets
  • rewriting logic
  • rewriting systems
  • system
  • transition systems
  • typing inference

Editors and Affiliations

  • Dipartimento di Informatica, Università di Pisa, Pisa, Italy

    Andrea Corradini, Ugo Montanari

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