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