Skip to main content
SpringerLink
Log in
Book cover

Recent Trends in Algebraic Development Techniques

17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers

  • Conference proceedings
  • © 2005

Overview

Editors:
  1. José Luiz Fiadeiro

    1. Department of Computer Science, University of Leicester, Leicester, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Peter D. Mosses

    1. Department of Computer Science, Swansea University, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Fernando Orejas

    1. Dpto de L.S.I., Universitat Politècnica de Catalunya, Barcelona, Spain

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

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

Included in the following conference series:

Conference proceedings info: WADT 2004.

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

  1. Front Matter

    Download chapter PDF

  2. Invited Technical Paper

    1. Behavior-Preserving Refinement Relations Between Dynamic Software Architectures

      • Reiko Heckel, Sebastian Thöne
      Pages 1-27

  3. Contributed Papers

    1. Modelling Mobility with Petri Hypernets

      • Marek A. Bednarczyk, Luca Bernardinello, Wiesław Pawłowski, Lucia Pomello
      Pages 28-44

    2. Cryptomorphisms at Work

      • Carlos Caleiro, Jaime Ramos
      Pages 45-60

    3. Towards a Formal Specification of an Electronic Payment System in CSP-CASL

      • Andy Gimblett, Markus Roggenbach, Bernd-Holger Schlingloff
      Pages 61-78

    4. Algebraic Semantics of Design Abstractions for Context-Awareness

      • Antónia Lopes, José Luiz Fiadeiro
      Pages 79-93

    5. CCC – The Casl Consistency Checker

      • Christoph Lüth, Markus Roggenbach, Lutz Schröder
      Pages 94-105

    6. Ontologies for the Semantic Web in Casl

      • Klaus Lüttich, Till Mossakowski, Bernd Krieg-Brückner
      Pages 106-125

    7. Theoroidal Maps as Algebraic Simulations

      • Narciso Martí-Oliet, José Meseguer, Miguel Palomino
      Pages 126-143

    8. Behavioural Semantics of Algebraic Specifications in Arbitrary Logical Systems

      • Michał Misiak
      Pages 144-161

    9. A Simple Refinement Language for Casl

      • Till Mossakowski, Donald Sannella, Andrzej Tarlecki
      Pages 162-185

    10. A Distributed and Mobile Component System Based on the Ambient Calculus

      • Nikos Mylonakis, Fernando Orejas
      Pages 186-200

    11. Application and Formal Specification of Sorted Term-Position Algebras

      • Arnd Poetzsch-Heffter, Nicole Rauch
      Pages 201-217

    12. From Conditional to Unconditional Rewriting

      • Grigore Roşu
      Pages 218-233

    13. Type Class Polymorphism in an Institutional Framework

      • Lutz Schröder, Till Mossakowski, Christoph Lüth
      Pages 234-251

    14. Architectural Specifications for Reactive Systems

      • Artur Zawłocki
      Pages 252-269

  4. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Recent Trends in Algebraic Development Techniques

Keywords

Editors and Affiliations

  • Department of Computer Science, University of Leicester, Leicester, UK

    José Luiz Fiadeiro

  • Department of Computer Science, Swansea University, UK

    Peter D. Mosses

  • Dpto de L.S.I., Universitat Politècnica de Catalunya, Barcelona, Spain

    Fernando Orejas

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation