Skip to main content
SpringerLink
Log in
Book cover

Algebraic Methodology and Software Technology

11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings

  • Conference proceedings
  • © 2006

Overview

Editors:
  1. Michael Johnson

    1. Department of Computer Science, Macquarie University,  

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Varmo Vene

    1. Dept. of Computer Science, Univ. of Tartu, Tartu, Estonia

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: AMAST 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 (30 papers)

  1. Front Matter

    Download chapter PDF

  3. Contributed Papers

    1. State Space Representation for Verification of Open Systems

      • Irem Aktug, Dilian Gurov
      Pages 5-20

    2. Data Movement Optimisation in Point-Free Form

      • Brad Alexander, Andrew Wendelborn
      Pages 21-35

    3. Measuring the Speed of Information Leakage in Mobile Processes

      • Benjamin Aziz
      Pages 36-50

    4. Formal Islands

      • Emilie Balland, Claude Kirchner, Pierre-Etienne Moreau
      Pages 51-65

    5. Some Programming Languages for Logspace and Ptime

      • Guillaume Bonfante
      Pages 66-80

    6. Opaque Predicates Detection by Abstract Interpretation

      • Mila Dalla Preda, Matias Madou, Koen De Bosschere, Roberto Giacobazzi
      Pages 81-95

    7. DO-Casl: An Observer-Based Casl Extension for Dynamic Specifications

      • Matteo Dell’Amico, Maura Cerioli
      Pages 96-110

    8. Model Transformations Incorporating Multiple Views

      • John Derrick, Heike Wehrheim
      Pages 111-126

    9. Hyperfinite Approximations to Labeled Markov Transition Systems

      • Ernst-Erich Doberkat
      Pages 127-141

    10. State Space Reduction of Rewrite Theories Using Invisible Transitions

      • Azadeh Farzan, José Meseguer
      Pages 142-157

    11. The Essence of Multitasking

      • William L. Harrison
      Pages 158-172

    12. The Substitution Vanishes

      • Armin Kühnemann, Andreas Maletti
      Pages 173-188

    13. Decomposing Interactions

      • Juliana Küster Filipe Bowles
      Pages 189-203

    14. Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues

      • Tristan Le Gall, Bertrand Jeannet, Thierry Jéron
      Pages 204-219

    15. Assessing the Expressivity of Formal Specification Languages

      • Natalia López, Manuel Núñez, Ismael Rodríguez
      Pages 220-234

    16. Fork Algebras as a Sufficiently Rich Universal Institution

      • Carlos G. Lopez Pombo, Marcelo F. Frias
      Pages 235-247
Back to top

Other volumes

  1. Algebraic Methodology and Software Technology

Keywords

About this book

This is the proceedings of the 11th edition of the Algebraic Methodology and Software Technology (AMAST) conference series. The ?rst conference was held in the USA in 1989, and since then AMAST conferences have been held on (or near) ?ve di?erent continents and have been hosted by many of the most prominent people and organizations in the ?eld. The AMAST initiative has always sought to have practical e?ects by dev- oping the science of software and basing it on a ?rm mathematical foundation. AMAST hasinterpretedsoftwaretechnologybroadly,andhas, for example, held AMAST workshops in areas as diverse as real-time systems and (natural) l- guage processing. Similarly, algebraic methodology is interpreted broadly and includes abstract algebra, category theory, logic, and a range of other ma- ematical subdisciplines. The truly distinguishing feature of AMAST is that it seeks rigorous mathematical developments, but always strives to link them to real technological applications. Our meetings frequently include industry-based participants and are a rare opportunity for mathematicians and mathema- callymindedacademicstointeracttechnicallywithindustry-basedtechnologists. Over the years AMAST has included industrial participants from organizations specializing in safety-critical (including medical) systems, transport (including aerospace), and security-critical systems, amongst others.

Editors and Affiliations

  • Department of Computer Science, Macquarie University,  

    Michael Johnson

  • Dept. of Computer Science, Univ. of Tartu, Tartu, Estonia

    Varmo Vene

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation