Concurrency 88: International Conference on Concurrency Hamburg, FRG, October 18-19, 1988. Proceedings (Lecture Notes in Computer Science (335))

This volume contains the proceedings of CONCURRENCY 88, an international conference on formal methods for distributed systems, held October 18-19, 1988 in Hamburg. CONCURRENCY 88 responded to great interest in the field of formal methods as a means of mastering the complexity of distributed systems. In addition, the impulse was determined by the fact that the various methodological approaches, such as constructive or property oriented methods, have not had an extensive comparative analysis nor have they been investigated with respect to their possible integration and their practical implications. The following topics were addressed: Specification Languages, Models for Distributed Systems, Verification and Validation, Knowledge Based Protocol Modeling, Fault Tolerance, Distributed Databases. The volume contains 12 invited papers and 14 contributions selected by the program committee. They were presented by authors from Austria, the Federal Republic of Germany, France, Israel, Italy, the Netherlands, the United Kingdom and the United States. 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 An interesting and fruitful approach to the systematic construction of a program from its formal specification is based on the idea of program synthesis as a theorem proving activity.