![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Specification and Verification of Concurrent Systems 1988: Stirling, Scotland, UK
- Charles Rattray:
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 - Pierre America:
The Interplay of Theory and Practice in a Parallel Object-Oriented Language. Specification and Verification of Concurrent Systems 1988: 1-20 - Stephen A. Schuman, David H. Pitt, Paddy H. Byers:
Object-Oriented Process Specification. Specification and Verification of Concurrent Systems 1988: 21-70 - Elspeth Cusack:
Formal Design and Development of Ada Real-Time Embedded Systems. Specification and Verification of Concurrent Systems 1988: 71-83 - Robert G. Clark:
The Design ad Development of Ada Real-Time Embedded Systems. Specification and Verification of Concurrent Systems 1988: 84-99 - Kenneth R. Parker, Rainer A. Berger, Kong E. Cheng:
Protocol Analysis and Implementation using NPNs and SDL. Specification and Verification of Concurrent Systems 1988: 100-120 - Vincenza Carchiolo, Alberto Faro, Michele Malgeri:
A Tool for the Performance Analysis of Concurrent Systems. Specification and Verification of Concurrent Systems 1988: 121-139 - 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: 140-152 - Donal Roantree, Maurice Clint:
A Specification-Verification Framework for Distributed Applications Software. Specification and Verification of Concurrent Systems 1988: 153-183 - Christopher M. Holt:
Dynamic Communication Links. Specification and Verification of Concurrent Systems 1988: 184-195 - 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: 196-235 - Parosh Aziz Abdulla, Stefan Arnborg:
An Equivalence Decision Problem in Systolic Array Verification. Specification and Verification of Concurrent Systems 1988: 236-245 - Rosalind L. Ibrahim, John A. Ogden, Shirley A. Williams:
Should Concurrency be Specified? Specification and Verification of Concurrent Systems 1988: 246-271 - Mathai Joseph, Asis Goswami:
Semantics for Specifying Real-Time Systems. Specification and Verification of Concurrent Systems 1988: 272-275 - Wang Yi:
Specifying Processes in Terms of Their Environments. Specification and Verification of Concurrent Systems 1988: 276-293 - 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: 294-330 - Peter Dybjer, Herbert P. Sander:
A Functional Programming Approach to the Specification and Verification of Concurrent Systems. Specification and Verification of Concurrent Systems 1988: 331-343 - J. D. Parker:
Synchronization in Network Protocols. Specification and Verification of Concurrent Systems 1988: 344-367 - E. Pascal Gribomont:
From Synchronous to Asynchronous Communication. Specification and Verification of Concurrent Systems 1988: 368-383 - Jeffrey J. Joyce:
Formal Specification and Verification of Asynchronous Processes in Higher-Order Logic. Specification and Verification of Concurrent Systems 1988: 384-409 - Francois D. Carrez, Dominique Méry:
Temporal Specifications Directed by Grammar and Design of Process Networks. Specification and Verification of Concurrent Systems 1988: 410-427 - Udo Thalmann:
Analysis of Estelle Specifications. Specification and Verification of Concurrent Systems 1988: 428-438 - Robin A. Nicholl:
Concurrency in Modula-2: Properties of the Language Primitives. Specification and Verification of Concurrent Systems 1988: 439-454 - David R. Gilbert:
Specification and Implementation of Concurrent Systems using PARLOG. Specification and Verification of Concurrent Systems 1988: 455-473 - David Freestone:
Specification and Verification in Communications Standards. Specification and Verification of Concurrent Systems 1988: 474-485 - Paul A. J. Tilanus, Yan Yang:
Experience with LOTOS and Environment LOTTE on an ISDN Protocol. Specification and Verification of Concurrent Systems 1988: 486-499 - Stuart Richard Matthews:
The Specification and Design of a Nondeterministic Data Structure Using CCS. Specification and Verification of Concurrent Systems 1988: 500-525 - Jonathan Billington:
A High-Level Petri Net Specification of the Cambridge Fast Ring M-Access Service. Specification and Verification of Concurrent Systems 1988: 526-556
Poster Sessions
- Antonella Di Stefano, Fabio Gibilisco, Orazio Mirabella:
Modeling of Distributed Problem Solving using Logic Modified Petri Nets. Specification and Verification of Concurrent Systems 1988: 557-574 - L. D. Natanson, W. B. Samson:
An Animator for CSP Implemented in HOPE. Specification and Verification of Concurrent Systems 1988: 575-594 - W. David Crowe, Peter E. D. Strain-Clark:
A Concurrent Approach to the Towers of Hanoi. Specification and Verification of Concurrent Systems 1988: 595-610
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.