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
export record as
dblp key:
Pierre America :
The Interplay of Theory and Practice in a Parallel Object-Oriented Language.
1-20
export record as
dblp key:
export record as
dblp key:
Elspeth Cusack :
Formal Design and Development of Ada Real-Time Embedded Systems.
71-83
export record as
dblp key:
Robert G. Clark :
The Design ad Development of Ada Real-Time Embedded Systems.
84-99
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Wang Yi :
Specifying Processes in Terms of Their Environments.
276-293
export record as
dblp key:
Sören Holmström :
Hennessy-Milner Logic with Recursion as a Specification Language, and a Refinement Calculus based on It.
294-330
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Jeffrey J. Joyce :
Formal Specification and Verification of Asynchronous Processes in Higher-Order Logic.
384-409
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Robin A. Nicholl :
Concurrency in Modula-2: Properties of the Language Primitives.
439-454
export record as
dblp key:
David Gilbert :
Specification and Implementation of Concurrent Systems using PARLOG.
455-473
export record as
dblp key:
David Freestone :
Specification and Verification in Communications Standards.
474-485
export record as
dblp key:
export record as
dblp key:
Stuart R. Matthews :
The Specification and Design of a Nondeterministic Data Structure Using CCS.
500-525
export record as
dblp key:
Jonathan Billington :
A High-Level Petri Net Specification of the Cambridge Fast Ring M-Access Service.
526-556
Poster Sessions
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
