CONCURRENCY 88: International Conference on Concurrency Hamburg, FRG, October 18–19, 1988 Proceedings

While waiting for the millennium: Formal specification and verification of concurrent systems now....Pages 1-3
A framework for the synthesis of reactive modules....Pages 4-17
Modelling knowledge and action in distributed systems: Preliminary report....Pages 18-32
Requirement and design specification for distributed systems....Pages 33-62
Data base distribution and concurrency for end-users....Pages 63-63
On safety and timeliness in distributed data management (preliminary report)....Pages 64-72
An automata-theoretic approach to protocol verification....Pages 73-73
On the power of cooperative concurrency....Pages 74-103
Executing temporal logic: Review and prospects....Pages 104-105
A graphical representation of interval logic....Pages 106-120
Temporal logic and causality in concurrent systems....Pages 121-139
Data in a concurrent environment....Pages 140-159
The scope and limits of synchronous concurrent computation....Pages 161-180
A logic-functional approach to the execution of CCS specifications modulo behavioural equivalences....Pages 181-196
A top-down step-wise refinement methodology for protocol specification....Pages 197-221
A state transformation equivalence for concurrent systems: Exhibited functionality-equivalence....Pages 222-236
External behaviour equivalence between two petrinets....Pages 237-256
Weighted basic Petri nets....Pages 257-276
Total algorithms....Pages 277-291
Semantics of real-time distributed programs....Pages 292-306
An example of communicating production systems....Pages 307-319
Assertional verification of a majority consensus algorithm for concurrency control in multiple copy databases....Pages 320-334
Analysis of estelle specifications....Pages 335-352
Optimal synchronization of ABD networks....Pages 353-367
Adequacy-preserving transformations of COSY path programs....Pages 368-379
Deterministic systems of sequential processes: Theory and tools....Pages 380-400