Table of contents

  1. Front Matter
  2. F. Nielson, P. Cousot, M. Dam, P. Degano, P. Jouvelot, A. Mycroft et al.
    Pages 1-21
  3. Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello
    Pages 22-50
  4. Frederick Knabe
    Pages 100-115
  5. Lars -åke Fredlund, Jari Koistinen, Fredrik Orava
    Pages 116-125
  6. Pascal Fadet, Dniel le M'etayer
    Pages 126-140
  7. Hanne Riis Nielson, Flemming Nielson, Torben Amtoft
    Pages 141-171
  8. Torben Amtoft, Flemming Nielson, Hanne Riis Nielson, Jürgen Ammann
    Pages 172-206
  9. Flemming Nielson, Hanne Riis Nielson, Torben Amtoft
    Pages 207-243
  10. Karl-Filip Faxén
    Pages 260-278
  11. R. Wilhelm, M. Alt, F. Martin, M. Raber
    Pages 279-295
  12. Pierpaolo Degano, Jean-Vincent Loddo, Corrado Priami
    Pages 296-319
  13. Rocco De Nicola, Rosario Pugliese
    Pages 320-344
  14. Pierpaolo Degano, Corrado Priami, Lone Leth, Bent Thomsen
    Pages 345-369
  15. Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
    Pages 370-387
  16. Francesca Levi
    Pages 388-403
  17. Andrea Maggiolo-Schettini, Massimo Merro
    Pages 404-429
  18. Back Matter

About these proceedings


This book originates from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages, held in Stockholm, Sweden, in June 1996. LOMAPS is an ESPRIT project devoted to program analysis and verification techniques applicable to emerging multi-paradigm programming languages.
The volume presents 14 revised full papers selected from the workshop submissions together with 4 invited contributions; also included is an introductory overview surveying the state of the art in the area and putting the contributions into this context.


Mehr-Agenten-Programmierung Nebenläufiges Programmieren Programmanalyse Programmverifikation Statecharts algorithm algorithms concurrent programming logic multiple-agent programming program analysis programming programming language semantics verification

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1997
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-62503-2
  • Online ISBN 978-3-540-68052-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site