Charles Rattray (Ed.):
Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK].
Workshops in Computing Springer 1990, ISBN 3-540-19581-5 
@proceedings{DBLP:conf/facs/1988,
editor = {Charles Rattray},
title = {Specification and Verification of Concurrent Systems [BCS-FACS
Workshop, 6-8 July 1988, University of Stirling, Scotland, UK]},
booktitle = {Specification and Verification of Concurrent Systems},
publisher = {Springer},
series = {Workshops in Computing},
year = {1990},
isbn = {3-540-19581-5},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
- Pierre America:
The Interplay of Theory and Practice in a Parallel Object-Oriented Language.
1-20
- Stephen A. Schuman, David H. Pitt, Paddy H. Byers:
Object-Oriented Process Specification.
21-70
- Elspeth Cusack:
Formal Design and Development of Ada Real-Time Embedded Systems.
71-83
- Robert G. Clark:
The Design ad Development of Ada Real-Time Embedded Systems.
84-99
- Kenneth R. Parker, Rainer A. Berger, Kong E. Cheng:
Protocol Analysis and Implementation using NPNs and SDL.
100-120
- Vincenza Carchiolo, Alberto Faro, Michele Malgeri:
A Tool for the Performance Analysis of Concurrent Systems.
121-139
- Jawahar Malhotra, Robert M. Shapiro, Scott A. Smolka, Alessandro Giacalone:
Winston: A Toll for Hierarchical Design and Simulation of Concurrent Systems.
140-152
- Donal Roantree, Maurice Clint:
A Specification-Verification Framework for Distributed Applications Software.
153-183
- Christopher M. Holt:
Dynamic Communication Links.
184-195
- Vangalur S. Alagar, Greetha Ramanathan:
Formal Environment and Tools Description for the Analysis of Real Time Concurrent Systems.
196-235
- Parosh Aziz Abdulla, Stefan Arnborg:
An Equivalence Decision Problem in Systolic Array Verification.
236-245
- Rosalind L. Ibrahim, John A. Ogden, Shirley A. Williams:
Should Concurrency be Specified?
246-271
- Mathai Joseph, Asis Goswami:
Semantics for Specifying Real-Time Systems.
272-275
- Wang Yi:
Specifying Processes in Terms of Their Environments.
276-293
- Sören Holmström:
Hennessy-Milner Logic with Recursion as a Specification Language, and a Refinement Calculus based on It.
294-330
- Peter Dybjer, Herbert P. Sander:
A Functional Programming Approach to the Specification and Verification of Concurrent Systems.
331-343
- J. D. Parker:
Synchronization in Network Protocols.
344-367
- E. Pascal Gribomont:
From Synchronous to Asynchronous Communication.
368-383
- Jeffrey J. Joyce:
Formal Specification and Verification of Asynchronous Processes in Higher-Order Logic.
384-409
- Francois D. Carrez, Dominique Méry:
Temporal Specifications Directed by Grammar and Design of Process Networks.
410-427
- Udo Thalmann:
Analysis of Estelle Specifications.
428-438
- Robin A. Nicholl:
Concurrency in Modula-2: Properties of the Language Primitives.
439-454
- David Gilbert:
Specification and Implementation of Concurrent Systems using PARLOG.
455-473
- David Freestone:
Specification and Verification in Communications Standards.
474-485
- Paul A. J. Tilanus, Yan Yang:
Experience with LOTOS and Environment LOTTE on an ISDN Protocol.
486-499
- Stuart R. Matthews:
The Specification and Design of a Nondeterministic Data Structure Using CCS.
500-525
- Jonathan Billington:
A High-Level Petri Net Specification of the Cambridge Fast Ring M-Access Service.
526-556
Poster Sessions
Copyright © Tue Mar 16 02:08:21 2010
by Michael Ley (ley@uni-trier.de)
