Specification and Verification of Concurrent Systems

Keyphrases

Publications

1990

Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK] Specification and Verification of Concurrent Systems (1990)

1988

Donal Roantree, Maurice Clint
A Specification-Verification Framework for Distributed Applications Software. Specification and Verification of Concurrent Systems (1988)
David R. Gilbert
Specification and Implementation of Concurrent Systems using PARLOG. Specification and Verification of Concurrent Systems (1988)
Sören Holmström
Hennessy-Milner Logic with Recursion as a Specification Language, and a Refinement Calculus based on It. Specification and Verification of Concurrent Systems (1988)
Francois D. Carrez, Dominique Méry
Temporal Specifications Directed by Grammar and Design of Process Networks. Specification and Verification of Concurrent Systems (1988)
David Freestone
Specification and Verification in Communications Standards. Specification and Verification of Concurrent Systems (1988)
Pierre America
The Interplay of Theory and Practice in a Parallel Object-Oriented Language. Specification and Verification of Concurrent Systems (1988)
Udo Thalmann
Analysis of Estelle Specifications. Specification and Verification of Concurrent Systems (1988)
Elspeth Cusack
Formal Design and Development of Ada Real-Time Embedded Systems. Specification and Verification of Concurrent Systems (1988)
W. David Crowe, Peter E. D. Strain-Clark
A Concurrent Approach to the Towers of Hanoi. Specification and Verification of Concurrent Systems (1988)
Jawahar Malhotra, Robert M. Shapiro, Scott A. Smolka, Alessandro Giacalone
Winston: A Tool for Hierarchical Design and Simulation of Concurrent Systems. Specification and Verification of Concurrent Systems (1988)
Mathai Joseph, Asis Goswami
Semantics for Specifying Real-Time Systems. Specification and Verification of Concurrent Systems (1988)
Parosh Aziz Abdulla, Stefan Arnborg
An Equivalence Decision Problem in Systolic Array Verification. Specification and Verification of Concurrent Systems (1988)
L. D. Natanson, W. B. Samson
An Animator for CSP Implemented in HOPE. Specification and Verification of Concurrent Systems (1988)
Antonella Di Stefano, Fabio Gibilisco, Orazio Mirabella
Modeling of Distributed Problem Solving using Logic Modified Petri Nets. Specification and Verification of Concurrent Systems (1988)
Stephen A. Schuman, David H. Pitt, Paddy H. Byers
Object-Oriented Process Specification. Specification and Verification of Concurrent Systems (1988)
J. D. Parker
Synchronization in Network Protocols. Specification and Verification of Concurrent Systems (1988)
Robin A. Nicholl
Concurrency in Modula-2: Properties of the Language Primitives. Specification and Verification of Concurrent Systems (1988)
Stuart Richard Matthews
The Specification and Design of a Nondeterministic Data Structure Using CCS. Specification and Verification of Concurrent Systems (1988)
Paul A. J. Tilanus, Yan Yang
Experience with LOTOS and Environment LOTTE on an ISDN Protocol. Specification and Verification of Concurrent Systems (1988)
Rosalind L. Ibrahim, John A. Ogden, Shirley A. Williams
Should Concurrency be Specified? Specification and Verification of Concurrent Systems (1988)
Christopher M. Holt
Dynamic Communication Links. Specification and Verification of Concurrent Systems (1988)
E. Pascal Gribomont
From Synchronous to Asynchronous Communication. Specification and Verification of Concurrent Systems (1988)
Peter Dybjer, Herbert P. Sander
A Functional Programming Approach to the Specification and Verification of Concurrent Systems. Specification and Verification of Concurrent Systems (1988)
Robert G. Clark
The Design ad Development of Ada Real-Time Embedded Systems. Specification and Verification of Concurrent Systems (1988)
Jeffrey J. Joyce
Formal Specification and Verification of Asynchronous Processes in Higher-Order Logic. Specification and Verification of Concurrent Systems (1988)
Vincenza Carchiolo, Alberto Faro, Michele Malgeri
A Tool for the Performance Analysis of Concurrent Systems. Specification and Verification of Concurrent Systems (1988)
Kenneth R. Parker, Rainer A. Berger, Kong E. Cheng
Protocol Analysis and Implementation using NPNs and SDL. Specification and Verification of Concurrent Systems (1988)
Jonathan Billington
A High-Level Petri Net Specification of the Cambridge Fast Ring M-Access Service. Specification and Verification of Concurrent Systems (1988)
Vangalur S. Alagar, Greetha Ramanathan
Formal Environment and Tools Description for the Analysis of Real Time Concurrent Systems. Specification and Verification of Concurrent Systems (1988)
Wang Yi
Specifying Processes in Terms of Their Environments. Specification and Verification of Concurrent Systems (1988)