Pierre America The Interplay of Theory and Practice in a Parallel Object-Oriented Language. [Citation Graph (0, 0)][DBLP] Specification and Verification of Concurrent Systems, 1988, pp:1-20 [Conf]
Elspeth Cusack Formal Design and Development of Ada Real-Time Embedded Systems. [Citation Graph (0, 0)][DBLP] Specification and Verification of Concurrent Systems, 1988, pp:71-83 [Conf]
Robert G. Clark The Design ad Development of Ada Real-Time Embedded Systems. [Citation Graph (0, 0)][DBLP] Specification and Verification of Concurrent Systems, 1988, pp:84-99 [Conf]
Donal Roantree, Maurice Clint A Specification-Verification Framework for Distributed Applications Software. [Citation Graph (0, 0)][DBLP] Specification and Verification of Concurrent Systems, 1988, pp:153-183 [Conf]
Vangalur S. Alagar, Greetha Ramanathan Formal Environment and Tools Description for the Analysis of Real Time Concurrent Systems. [Citation Graph (0, 0)][DBLP] Specification and Verification of Concurrent Systems, 1988, pp:196-235 [Conf]
Wang Yi Specifying Processes in Terms of Their Environments. [Citation Graph (0, 0)][DBLP] Specification and Verification of Concurrent Systems, 1988, pp:276-293 [Conf]
Sören Holmström Hennessy-Milner Logic with Recursion as a Specification Language, and a Refinement Calculus based on It. [Citation Graph (0, 0)][DBLP] Specification and Verification of Concurrent Systems, 1988, pp:294-330 [Conf]
Peter Dybjer, Herbert P. Sander A Functional Programming Approach to the Specification and Verification of Concurrent Systems. [Citation Graph (0, 0)][DBLP] Specification and Verification of Concurrent Systems, 1988, pp:331-343 [Conf]
J. D. Parker Synchronization in Network Protocols. [Citation Graph (0, 0)][DBLP] Specification and Verification of Concurrent Systems, 1988, pp:344-367 [Conf]
E. Pascal Gribomont From Synchronous to Asynchronous Communication. [Citation Graph (0, 0)][DBLP] Specification and Verification of Concurrent Systems, 1988, pp:368-383 [Conf]
Jeffrey J. Joyce Formal Specification and Verification of Asynchronous Processes in Higher-Order Logic. [Citation Graph (0, 0)][DBLP] Specification and Verification of Concurrent Systems, 1988, pp:384-409 [Conf]
Francois D. Carrez, Dominique Méry Temporal Specifications Directed by Grammar and Design of Process Networks. [Citation Graph (0, 0)][DBLP] Specification and Verification of Concurrent Systems, 1988, pp:410-427 [Conf]
Udo Thalmann Analysis of Estelle Specifications. [Citation Graph (0, 0)][DBLP] Specification and Verification of Concurrent Systems, 1988, pp:428-438 [Conf]
Robin A. Nicholl Concurrency in Modula-2: Properties of the Language Primitives. [Citation Graph (0, 0)][DBLP] Specification and Verification of Concurrent Systems, 1988, pp:439-454 [Conf]
David Gilbert Specification and Implementation of Concurrent Systems using PARLOG. [Citation Graph (0, 0)][DBLP] Specification and Verification of Concurrent Systems, 1988, pp:455-473 [Conf]
David Freestone Specification and Verification in Communications Standards. [Citation Graph (0, 0)][DBLP] Specification and Verification of Concurrent Systems, 1988, pp:474-485 [Conf]
Paul A. J. Tilanus, Yan Yang Experience with LOTOS and Environment LOTTE on an ISDN Protocol. [Citation Graph (0, 0)][DBLP] Specification and Verification of Concurrent Systems, 1988, pp:486-499 [Conf]
Stuart R. Matthews The Specification and Design of a Nondeterministic Data Structure Using CCS. [Citation Graph (0, 0)][DBLP] Specification and Verification of Concurrent Systems, 1988, pp:500-525 [Conf]
Jonathan Billington A High-Level Petri Net Specification of the Cambridge Fast Ring M-Access Service. [Citation Graph (0, 0)][DBLP] Specification and Verification of Concurrent Systems, 1988, pp:526-556 [Conf]
