Skip to main content
SpringerLink
Log in
Book cover

Specification and Verification of Concurrent Systems

  • Conference proceedings
  • © 1990

Overview

Editors:
  1. C. Rattray

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

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

  1. Front Matter

    Pages i-viii
    Download chapter PDF

  2. The Interplay of Theory and Practice in a Parallel Object-Oriented Language

    1. The Interplay of Theory and Practice in a Parallel Object-Oriented Language

      • Pierre America
      Pages 1-20

  3. Object-Oriented Process Specification

    1. Object-Oriented Process Specification

      • S. A. Schuman, D. H. Pitt, P. J. Byers
      Pages 21-70

  4. Formal Object Oriented Specification of Distributed Systems

    1. Formal Object Oriented Specification of Distributed Systems

      • Elspeth Cusack
      Pages 71-83

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

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

      • Robert G. Clark
      Pages 84-99

  6. Protocol Analysis and Implementation using NPNs and SDL

    1. Protocol Analysis and Implementation using NPNs and SDL

      • Kenneth R. Parker, Rainer A. Berger, Kong E. Cheng
      Pages 100-120

  7. A Tool for the Performance Analysis of Concurrent Systems

    1. A Tool for the Performance Analysis of Concurrent Systems

      • Vincenza Carchiolo, Albert Faro, Michele Malgeri
      Pages 121-139

  8. Winston: A Tool for Hierarchical Design and Simulation of Concurrent Systems

    1. Winston: A Tool for Hierarchical Design and Simulation of Concurrent Systems

      • Jawahar Malhotra, Scott A. Smolka, Alessandro Giacalone, Robert Shapiro
      Pages 140-152

  9. A Specification-Verification Framework for Distributed Applications Software

    1. A Specification-Verification Framework for Distributed Applications Software

      • Donal Roantree, Maurice Clint
      Pages 153-183

  10. Dynamic Communication Links

    1. Dynamic Communication Links

      • C. M. Holt
      Pages 184-195

  11. Formal Environment and Tools Description for the Analysis of Real time Concurrent Systems

    1. Formal Environment and Tools Description for the Analysis of Real time Concurrent Systems

      • Vangalur S. Alagar, Geetha Ramanathan
      Pages 196-235

  12. An Equivalence Decision Problem in Systolic Array Verification

    1. An Equivalence Decision Problem in Systolic Array Verification

      • Parosh Abdulla, Stefan Arnborg
      Pages 236-245

  13. Should Concurrency be Specified?

    1. Should Concurrency be Specified?

      • Rosalind L. Ibrahim, John A. Ogden, Shirley A. Williams
      Pages 246-271

  14. Semantics for Specifying Real-time Systems

    1. Semantics for Specifying Real-time Systems

      • Mathai Joseph, Asis Goswami
      Pages 272-275

  15. Specifying Processes in Terms of Their Environments

    1. Specifying Processes in Terms of Their Environments

      • Wang Yi
      Pages 276-293

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

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

      • Sören Holmström
      Pages 294-330

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

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

      • Peter Dybjer, Herbert Sander
      Pages 331-343

  18. Synchronization in Network Protocols

    1. Synchronization in Network Protocols

      • J. D. Parker
      Pages 344-367

  19. From Synchronous to Asynchronous Communication

    1. From Synchronous to Asynchronous Communication

      • E. Pascal Gribomont
      Pages 368-383

  20. Formal Specification and Verification of Asynchronous Processes in Higher-Order Logic

    1. Formal Specification and Verification of Asynchronous Processes in Higher-Order Logic

      • Jeffrey J. Joyce
      Pages 384-409
Back to top

Keywords

About this book

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.

Editors and Affiliations

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

    C. Rattray

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation