Skip to main content
SpringerLink
Log in

CONCUR '92

Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992. Proceedings

  • Conference proceedings
  • © 1992

Overview

Editors:
  1. W.R. Cleaveland
    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 630)

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 109.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 (39 papers)

  1. Front Matter

    Download chapter PDF

  2. The polyadic π-calculus

    • Robin Milner
    Pages 1-1

  3. Testing equivalence for mobile processes

    • Michele Boreale, Rocco De Nicola
    Pages 2-16

  4. Testing equivalence for Petri Nets with action refinement: Preliminary report

    • Lalita Jategaonkar, Albert Meyer
    Pages 17-31

  5. The problem of “weak bisimulation up to”

    • Davide Sangiorgi, Robin Milner
    Pages 32-46

  6. On the uniqueness of fixpoints modulo observation congruence

    • Ed Brinksma
    Pages 47-61

  7. Verification of parallel systems via decomposition

    • Jan Friso Groote, Faron Moller
    Pages 62-76

  8. Interface refinement in reactive systems

    • Rob Gerth, Ruurd Kuiper, John Segers
    Pages 77-93

  9. Concurrent testing of processes

    • M. Hennessy
    Pages 94-107

  10. A theory of processes with localities

    • G. Boudol, I. Castellani, M. Hennessy, A. Kiehn
    Pages 108-122

  11. Model checking for context-free processes

    • Olaf Burkart, Bernhard Steffen
    Pages 123-137

  12. Bisimulation equivalence is decidable for all context-free processes

    • Søren Christensen, Hans Hüttel, Colin Stirling
    Pages 138-147

  13. Distributed bisimularity is decidable for a class of infinite state-space systems

    • Søren Christensen
    Pages 148-161

  14. How vital is liveness? Verifying timing properties of reactive and hybrid systems

    • Amir Pnueli
    Pages 162-175

  15. Preserving specific properties in program development

    • F. A. Stomp
    Pages 176-191

  16. Sometimes ‘some’ is as good as ‘all’

    • Doron Peled
    Pages 192-206

  17. The weakest compositional semantic equivalence preserving nexttime-less linear temporal logic

    • Roope Kaivola, Antti Valmari
    Pages 207-221

  18. Propositional temporal logics and equivalences

    • Ursula Goltz, Ruurd Kuiper, Wojciech Penczek
    Pages 222-236

  19. The duality of time and information

    • Vaughan R. Pratt
    Pages 237-253

  20. Homology of higher dimensional automata

    • Eric Goubault, Thomas P. Jensen
    Pages 254-268
Back to top

Keywords

About this book

This book contains a selection of research papers describing recent advancesin the theory of concurrent systems and their applications. The papers were all presented at the CONCUR '92 conference, which has emerged as the premiere conference on formal aspects of concurrency. The authors include such prominent researchers as R. Milner, A. Pnueli, N. Lynch, and V.R. Pratt. The results represent advances in the mathematical understanding of the behavior of concurrent systems: topics covered include process algebras, models of true concurrency, compositional verification techniques, temporal logic, verification case studies, models of probabilistic and real-time systems, models of systems with dynamic structure, and algorithms and decidability results for system analysis. A key feature of CONCUR is its breadth: in one volume it presents a snapshot of the state of the art in concurrency theory. Assuch, it is indispensible to researchers - and would-be researchers - in theformal analysis of concurrent systems.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation