Concurrency 1988:
Hamburg,
Germany
Friedrich H. Vogt (Ed.):
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
Selected Papers
- Karl Meinke, J. 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
Last update Thu May 24 04:15:17 2012
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page