Skip to main content
SpringerLink
Log in

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. Temporal Specifications Directed by Grammar and Design of Process Networks

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

      • Francois D. Carrez, Dominique Mery
      Pages 410-427

  2. Analysis of Estelle Specifications

    1. Analysis of Estelle Specifications

      • Udo Thalmann
      Pages 428-438

  3. Concurrency in Modula-2: Properties of the Language Primitives

    1. Concurrency in Modula-2: Properties of the Language Primitives

      • Robin A. Nicholl
      Pages 439-454

  4. Specification and implementation of concurrent systems using PARLOG

    1. Specification and implementation of concurrent systems using PARLOG

      • David Gilbert
      Pages 455-473

  5. Specification and Verification in Communications Standards

    1. Specification and Verification in Communications Standards

      • David Freestone
      Pages 474-485

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

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

      • Paul A. J. Tilanus, Yan Yang
      Pages 486-499

  7. The Specification and Design of a Nondeterministic Data Structure Using CCS

    1. The Specification and Design of a Nondeterministic Data Structure Using CCS

      • Stuart R. Matthews
      Pages 500-525

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

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

      • Jonathan Billington
      Pages 526-556

  9. Poster Sessions

    1. Modelling of Distributed Problem Solving Using Logic Modified Petri Nets

      • Antonella Di Stefano, Fabio Gibilisco, Orazio Mirabella
      Pages 557-574

    2. An animator for CSP implemented in HOPE

      • L. D. Natanson, W. B. Samson
      Pages 575-594

    3. A Concurrent Approach to the Towers of Hanoi

      • W. D. Crowe, P. E. D. Strain-Clark
      Pages 595-610

  10. Back Matter

    Pages 611-612
    Download chapter PDF
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