Skip to main content
SpringerLink
Log in

Recent Trends in Algebraic Development Techniques

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

  • Conference proceedings
  • © 2009

Overview

Editors:
  1. Andrea Corradini

    1. Dipartimento di Informatica, Università di Pisa, Pisa, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ugo Montanari

    1. Dipartimento di Informatica, Università di Pisa, Pisa, Italy

    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 5486)

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

Included in the following conference series:

Conference proceedings info: WADT 2008.

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

  1. Front Matter

    Download chapter PDF

  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. Generalized Theoroidal Institution Comorphisms

      • Mihai Codescu
      Pages 88-101

    5. Graph Transformation with Dependencies for the Specification of Interactive Systems

      • Andrea Corradini, Luciana Foss, Leila Ribeiro
      Pages 102-118

    6. Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi

      • Pietro Di Gianantonio, Furio Honsell, Marina Lenisa
      Pages 119-134

    7. A Rewriting Logic Approach to Type Inference

      • Chucky Ellison, Traian Florin Şerbănuţă, Grigore Roşu
      Pages 135-151

    8. A Term-Graph Syntax for Algebras over Multisets

      • Fabio Gadducci
      Pages 152-165

    9. Transformations of Conditional Rewrite Systems Revisited

      • Karl Gmeiner, Bernhard Gramlich
      Pages 166-186

    10. Towards a Module System for K

      • Mark Hills, Grigore Roşu
      Pages 187-205

    11. Property Preserving Refinement for Csp-Casl

      • Temesghen Kahsai, Markus Roggenbach
      Pages 206-220

    12. Reconfiguring Distributed Reo Connectors

      • Christian Koehler, Farhad Arbab, Erik de Vink
      Pages 221-235

    13. A Rewrite Approach for Pattern Containment

      • Barbara Kordy
      Pages 236-250

    14. A Coalgebraic Characterization of Behaviours in the Linear Time – Branching Time Spectrum

      • Luís Monteiro
      Pages 251-265

    15. Heterogeneous Logical Environments for Distributed Specifications

      • Till Mossakowski, Andrzej Tarlecki
      Pages 266-289

    16. Term-Generic Logic

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

Other volumes

  1. Recent Trends in Algebraic Development Techniques

Keywords

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.

Editors and Affiliations

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

    Andrea Corradini, Ugo Montanari

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation