Skip to main content
SpringerLink
Log in

Concurrency 88

International Conference on Concurrency Hamburg, FRG, October 18-19, 1988. Proceedings

  • Conference proceedings
  • © 1988

Overview

Editors:
  1. Frederich H. Vogt
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 335)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (26 papers)

  1. Front Matter

    Download chapter PDF

  2. While waiting for the millennium: Formal specification and verification of concurrent systems now

    • L. Lamport
    Pages 1-3

  3. A framework for the synthesis of reactive modules

    • Amir Pnueli, Roni Rosner
    Pages 4-17

  4. Modelling knowledge and action in distributed systems: Preliminary report

    • Joseph Y. Halpern, Ronald Fagin
    Pages 18-32

  5. Requirement and design specification for distributed systems

    • Manfred Broy
    Pages 33-62

  6. Data base distribution and concurrency for end-users

    • Richard L. Schwartz
    Pages 63-63

  7. On safety and timeliness in distributed data management (preliminary report)

    • Danny Dolev, H. Raymond Strong
    Pages 64-72

  8. An automata-theoretic approach to protocol verification

    • Moshe Y. Vardi
    Pages 73-73

  9. On the power of cooperative concurrency

    • Doron Drusinsky, David Harel
    Pages 74-103

  10. Executing temporal logic: Review and prospects

    • Howard Barringer, Dov Gabbay
    Pages 104-105

  11. A graphical representation of interval logic

    • P. M. Melliar-Smith
    Pages 106-120

  12. Temporal logic and causality in concurrent systems

    • Wolfgang Reisig
    Pages 121-139

  13. Data in a concurrent environment

    • Egidio Astesiano, Alessandro Giovini, Gianna Reggio
    Pages 140-159

  14. The scope and limits of synchronous concurrent computation

    • K. Meinke, J. V. Tucker
    Pages 161-180

  15. A logic-functional approach to the execution of CCS specifications modulo behavioural equivalences

    • S. Gnesi, P. Inverardi, M. Nesi
    Pages 181-196

  16. A top-down step-wise refinement methodology for protocol specification

    • Da-Hai Li, Tom S. E. Maibaum
    Pages 197-221

  17. A state transformation equivalence for concurrent systems: Exhibited functionality-equivalence

    • Fiorella De Cindio, Giorgio De Michelis, Lucia Pomello, Carla Simone
    Pages 222-236

  18. External behaviour equivalence between two petrinets

    • A. Bourguet-Rouger
    Pages 237-256

  19. Weighted basic Petri nets

    • Eike Best
    Pages 257-276

  20. Total algorithms

    • Gerard Tel
    Pages 277-291
Back to top

Keywords

About this book

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation