Abstract is missing.
- The Interplay of Theory and Practice in a Parallel Object-Oriented LanguagePierre America. 1-20
- Object-Oriented Process SpecificationStephen A. Schuman, David H. Pitt, Paddy H. Byers. 21-70
- Formal Design and Development of Ada Real-Time Embedded SystemsElspeth Cusack. 71-83
- The Design ad Development of Ada Real-Time Embedded SystemsRobert G. Clark. 84-99
- Protocol Analysis and Implementation using NPNs and SDLKenneth R. Parker, Rainer A. Berger, Kong E. Cheng. 100-120
- A Tool for the Performance Analysis of Concurrent SystemsVincenza Carchiolo, Alberto Faro, Michele Malgeri. 121-139
- Winston: A Toll for Hierarchical Design and Simulation of Concurrent SystemsJawahar Malhotra, Scott A. Smolka, Alessandro Giacalone, Robert M. Shapiro. 140-152
- A Specification-Verification Framework for Distributed Applications SoftwareDonal Roantree, Maurice Clint. 153-183
- Dynamic Communication LinksChristopher M. Holt. 184-195
- Formal Environment and Tools Description for the Analysis of Real Time Concurrent SystemsVangalur S. Alagar, Greetha Ramanathan. 196-235
- An Equivalence Decision Problem in Systolic Array VerificationParosh Aziz Abdulla, Stefan Arnborg. 236-245
- Should Concurrency be Specified?Rosalind L. Ibrahim, John A. Ogden, Shirley A. Williams. 246-271
- Semantics for Specifying Real-Time SystemsMathai Joseph, Asis Goswami. 272-275
- Specifying Processes in Terms of Their EnvironmentsWang Yi. 276-293
- Hennessy-Milner Logic with Recursion as a Specification Language, and a Refinement Calculus based on ItSören Holmström. 294-330
- A Functional Programming Approach to the Specification and Verification of Concurrent SystemsPeter Dybjer, Herbert P. Sander. 331-343
- Synchronization in Network ProtocolsJ. D. Parker. 344-367
- From Synchronous to Asynchronous CommunicationE. Pascal Gribomont. 368-383
- Formal Specification and Verification of Asynchronous Processes in Higher-Order LogicJeffrey J. Joyce. 384-409
- Temporal Specifications Directed by Grammar and Design of Process NetworksFrancois D. Carrez, Dominique Méry. 410-427
- Analysis of Estelle SpecificationsUdo Thalmann. 428-438
- Concurrency in Modula-2: Properties of the Language PrimitivesRobin A. Nicholl. 439-454
- Specification and Implementation of Concurrent Systems using PARLOGDavid Gilbert. 455-473
- Specification and Verification in Communications StandardsDavid Freestone. 474-485
- Experience with LOTOS and Environment LOTTE on an ISDN ProtocolPaul A. J. Tilanus, Yan Yang. 486-499
- The Specification and Design of a Nondeterministic Data Structure Using CCSStuart R. Matthews. 500-525
- A High-Level Petri Net Specification of the Cambridge Fast Ring M-Access ServiceJonathan Billington. 526-556
- Modeling of Distributed Problem Solving using Logic Modified Petri NetsAntonella Di Stefano, Fabio Gibilisco, Orazio Mirabella. 557-574
- An Animator for CSP Implemented in HOPEL. D. Natanson, W. B. Samson. 575-594
- A Concurrent Approach to the Towers of HanoiW. D. Crowe, P. E. D. Strain-Clark. 595-610