default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDConcurrency 1988: Hamburg, Germany
- Friedrich H. Vogt:
Concurrency 88: International Conference on Concurrency, Hamburg, FRG, October 18-19, 1988, Proceedings. Lecture Notes in Computer Science 335, Springer 1988, ISBN 3-540-50403-6
Invited Papers
- Leslie Lamport:
While Waiting for the Millennium: Formal Specification and Verficiation of Concurrent Systems Now (Abstract). 3 - Amir Pnueli, Roni Rosner:
A Framework for the Synthesis of Reactive Modules. 4-17 - Joseph Y. Halpern, Ronald Fagin:
Modelling Knowledge and Action in Distributed Systems. 18-32 - Manfred Broy:
Requirement and Design Specification for Distributed Systems. 33-62 - Richard L. Schwartz:
Data Base Distribution and Concurrency for End-Users (Abstract). 63 - Danny Dolev, H. Raymond Strong:
On Safety and Timeliness in Distributed Data Management. 64-72 - Moshe Y. Vardi:
An Automata-Theoretic Approach to Protocol Verification (Abstract). 73 - Doron Drusinsky, David Harel:
On the Power of Cooperative Concurrency. 74-103 - Howard Barringer, Dov M. Gabbay:
Executing Temporal Logic: Review and Prospects (Abstract). 104-105 - P. M. Melliar-Smith:
A Graphical Representation of Interval Logic. 106-120 - Wolfgang Reisig:
Temporal Logic and Causality in Concurrent Systems. 121-139 - Egidio Astesiano, Alessandro Giovini, Gianna Reggio:
Data in a Concurrent Environment. 140-159
Selected Papers
- Karl Meinke, John V. Tucker:
The Scope and Limits of Synchronous Concurrent Computation. 163-180 - Stefania Gnesi, Paola Inverardi, Monica Nesi:
A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences. 181-196 - Da-Hai Li, T. S. E. Maibaum:
A Top-down Step-wise Refinement Methodology for Protocol Specification. 197-221 - Fiorella de Cindio, Giorgio De Michelis, Lucia Pomello, Carla Simone:
A State Transformation Equivalence for Concurrent Systems: Exhibited Functionality-equivalence. 222-236 - A. Bourguet-Rouger:
External Behaviour Equivalence between two Petri Nets. 237-256 - Eike Best:
Weighted Basic Petri Nets. 257-276 - Gerard Tel:
Total Algorithms. 277-291 - Asis Goswami, Mathai Joseph:
Semancitcs of Real-time Distributed Programs. 292-306 - Burkhard Igel, Georg Reichwein:
An Example of Communicating Production Systems. 307-319 - Nicolien J. Drost, Jan van Leeuwen:
Assertional Verification of a Majority Consensus Algorithm for Concurrency Control in Multiple Copy Databases. 320-334 - Udo Thalmann:
Analysis of ESTELLE Specifications. 335-352 - Ephraim Korach, Gerard Tel, Shmuel Zaks:
Optimal Synchronization of ABD Networks. 353-367 - Maciej Koutny:
Adequacy-Preserving Transformations of COSY Path Programs. 368-379 - Younes Souissi, Nicolas Beldiceanu:
Deterministic Systems of Sequential Processes: Theory and Tools. 380-400
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.
last updated on 2024-12-23 19:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
