Skip to main content
SpringerLink
Log in

Algebraic Methodology and Software Technology (AMAST’93)

Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21–25 June 1993

  • Conference proceedings
  • © 1994

Overview

Editors:
  1. Maurice Nivat

    1. LITP, Université Paris VII, Paris-Cedex 05, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Charles Rattray

    1. Department of Computing Science, University of Stirling, Stirling, Scotland, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Teodor Rus

    1. Department of Computer Science, University of Iowa, Iowa City, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Giuseppe Scollo

    1. Fac. Informatica, University of Twente, Enschede, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Workshops in Computing (WORKSHOPS COMP.)

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

  1. Communications

    1. An Overview of the SODA System

      • Peter Thiemann
      Pages 185-192

    2. Category Theory for the Configuration of Complex Systems

      • Gillian Hill
      Pages 193-200

    3. Algebraic-Oriented Institutions

      • M. Cerioli, G. Reggio
      Pages 201-208

    4. On the Correctness of Modular Systems

      • Marisa Navarro, Fernando Orejas, Ana Sánchez
      Pages 209-216

    5. Interaction between Algebraic Specification Grammars and Modular System Design

      • Hartmut Ehrig, Francesco Parisi-Presicce
      Pages 217-224

    6. Specification of Hybrid Systems in CRP

      • R. K. Shyamasundar
      Pages 225-236

    7. Real-Time Program Synthesis from Specifications

      • A. Cornell, J. Knaack, A. Nangia, T. Rus
      Pages 237-244

    8. On the coverage of partial validations

      • Ed Brinksma
      Pages 245-252

    9. Verifying communication protocols via testing-projection

      • Khalil Drira, Pierre Azema
      Pages 253-262

    10. Equivalences of Transition Systems in an Algebraic Framework

      • Pasquale Malacaria
      Pages 263-270

    11. Semantics frameworks for a class of modular algebraic nets

      • E. Battiston, V. Crespi, F. De Cindio, G. Mauri
      Pages 271-280

    12. A Characterization of LOTOS Representable Networks of Parallel Processes

      • David de Frutos-Escrig
      Pages 281-288

    13. Towards Performance Evaluation in Process Algebras

      • Roberto Gorrieri, Marco Roccetti
      Pages 289-296

    14. Translation Results for Modal Logics of Reactive Systems

      • F. Laroussinie, S. Pinchinat, Ph. Schnoebelen
      Pages 297-306

    15. Modal Action Logic in a Practical Specification Language

      • Ismar Neumann Kaufman, Silvio Lemos Meira
      Pages 307-314

    16. On using a Composition Principle to Design Parallel Programs

      • Abdelillah Mokkedem, Dominique Méry
      Pages 315-324

    17. A notion of refinement for automata

      • N. Sabadini, S. Vigna, R. F. C. Walters
      Pages 325-332

    18. The Role of Memory in Object-based and Object-oriented Languages

      • Eric G. Wagner
      Pages 333-342

    19. Abstract and Concrete Objects — An Algebraic Design Method for Object-Based Systems

      • Ruth Breu, Michael Breu
      Pages 343-348

    20. Towards an Algebraic Theory of Inheritance in Object Oriented Programming

      • Xue-Miao Lu, Tharam S. Dillon
      Pages 349-358
Back to top

Keywords

About this book

The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software technology, and to show that this can lead to practical mathematical alternatives to the ad-hoc approaches commonly used in software engineering and development. The first two AMAST conferences, held in May 1989 and May 1991 at the University of Iowa, were well received and encouraged the regular organization of further AMAST conferences on a biennial schedule. The third Conference on Algebraic Methodology and Software Technology was held in the campus of the University of Twente, The Netherlands, during the first week of Summer 1993. Nearly a hundred people from all continents attended the conference. The largest interest received by the AMAST conference among the professionals extended to include the administration organizations as well. AMAST'93 was opened by the Rector of the University of Twente, followed by the Local Chairman. Their opening addresses open this proceedings, too. The proceedings contains 8 invited papers and 32 selected communica­ tions. The selection was very strict, for 121 submissions were received.

Editors and Affiliations

  • LITP, Université Paris VII, Paris-Cedex 05, France

    Maurice Nivat

  • Department of Computing Science, University of Stirling, Stirling, Scotland, UK

    Charles Rattray

  • Department of Computer Science, University of Iowa, Iowa City, USA

    Teodor Rus

  • Fac. Informatica, University of Twente, Enschede, The Netherlands

    Giuseppe Scollo

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation