Specification and Verification of Concurrent Systems

  • C. Rattray

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

About these proceedings

Introduction

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.

Keywords

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 https://doi.org/10.1007/978-1-4471-3534-0
  • 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
  • About this book