Specification and Verification of Concurrent Systems

  • C. Rattray
Conference proceedings

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

Table of contents

  1. Front Matter
    Pages i-viii
  2. The Interplay of Theory and Practice in a Parallel Object-Oriented Language

  3. Object-Oriented Process Specification

    1. S. A. Schuman, D. H. Pitt, P. J. Byers
      Pages 21-70
  4. Formal Object Oriented Specification of Distributed Systems

  5. The Design and Development of Ada Real-Time Embedded Systems

  6. Protocol Analysis and Implementation using NPNs and SDL

    1. Kenneth R. Parker, Rainer A. Berger, Kong E. Cheng
      Pages 100-120
  7. A Tool for the Performance Analysis of Concurrent Systems

    1. Vincenza Carchiolo, Albert Faro, Michele Malgeri
      Pages 121-139
  8. Winston: A Tool for Hierarchical Design and Simulation of Concurrent Systems

    1. Jawahar Malhotra, Scott A. Smolka, Alessandro Giacalone, Robert Shapiro
      Pages 140-152
  9. A Specification-Verification Framework for Distributed Applications Software

  10. Dynamic Communication Links

    1. C. M. Holt
      Pages 184-195
  11. Formal Environment and Tools Description for the Analysis of Real time Concurrent Systems

  12. An Equivalence Decision Problem in Systolic Array Verification

    1. Parosh Abdulla, Stefan Arnborg
      Pages 236-245
  13. Should Concurrency be Specified?

    1. Rosalind L. Ibrahim, John A. Ogden, Shirley A. Williams
      Pages 246-271
  14. Semantics for Specifying Real-time Systems

    1. Mathai Joseph, Asis Goswami
      Pages 272-275
  15. Specifying Processes in Terms of Their Environments

  16. Hennessy-Milner Logic with recursion as a specification language, and a refinement calculus based on it

  17. A Functional Programming Approach to the Specification and Verification of Concurrent Systems

  18. Synchronization in Network Protocols

    1. J. D. Parker
      Pages 344-367
  19. From Synchronous to Asynchronous Communication

    1. E. Pascal Gribomont
      Pages 368-383
  20. Formal Specification and Verification of Asynchronous Processes in Higher-Order Logic

  21. Temporal Specifications Directed by Grammar and Design of Process Networks

    1. Francois D. Carrez, Dominique Mery
      Pages 410-427
  22. Analysis of Estelle Specifications

    1. Udo Thalmann
      Pages 428-438
  23. Concurrency in Modula-2: Properties of the Language Primitives

  24. Specification and implementation of concurrent systems using PARLOG

  25. Specification and Verification in Communications Standards

  26. Experience with LOTOS and environment LOTTE on an ISDN protocol

    1. Paul A. J. Tilanus, Yan Yang
      Pages 486-499
  27. The Specification and Design of a Nondeterministic Data Structure Using CCS

  28. A High-Level Petri Net Specification of the Cambridge Fast Ring M-Access Service

  29. Poster Sessions

    1. Antonella Di Stefano, Fabio Gibilisco, Orazio Mirabella
      Pages 557-574
    2. L. D. Natanson, W. B. Samson
      Pages 575-594
    3. W. D. Crowe, P. E. D. Strain-Clark
      Pages 595-610
  30. Back Matter
    Pages 611-612

About these proceedings


This volume contains papers presented at the BCS-FACS Workshop on Specification and Verification of Concurrent Systems held on 6-8 July 1988, at the University of Stirling, Scotland. Specification and verification techniques are playing an increasingly important role in the design and production of practical concurrent systems. The wider application of these techniques serves to identify difficult problems that require new approaches to their solution and further developments in specification and verification. The Workshop aimed to capture this interplay by providing a forum for the exchange of the experience of academic and industrial experts in the field. Presentations included: surveys, original research, practical experi­ ence with methods, tools and environments in the following or related areas: Object-oriented, process, data and logic based models and specifi­ cation methods for concurrent systems Verification of concurrent systems Tools and environments for the analysis of concurrent systems Applications of specification languages to practical concurrent system design and development. We should like to thank the invited speakers and all the authors of the papers whose work contributed to making the Workshop such a success. We were particularly pleased with the international response to our call for papers. Invited Speakers Pierre America Philips Research Laboratories University of Warwick Professor M. Joseph David Freestone British Telecom Organising Committee Charles Rattray Dr Muffy Thomas Dr Simon Jones Dr John Cooke Professor Ken Turner Derek Coleman Maurice Naftalin Dr Peter Scharbach vi Preface We would like to aeknowledge the finaneial eontribution made by SD-Sysems Designers pie, Camberley, Surrey.


Embedded Systems ISDN Standard Standards bridge communication concurrency development distributed systems formal specification logic petri net production programming semantics

Editors and affiliations

  • C. Rattray
    • 1
  1. 1.Department of Computing ScienceUniversity of StirlingStirlingUK

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag London 1990
  • Publisher Name Springer, London
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-19581-8
  • Online ISBN 978-1-4471-3534-0
  • Series Print ISSN 1431-1682
  • Buy this book on publisher's site
Industry Sectors