Skip to main content
SpringerLink
Log in

CONCUR '91

2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991. Proceedings

  • Conference proceedings
  • © 1991

Overview

Editors:
  1. Jos C. M. Baeten
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jan Frisco Groote
    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 527)

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 (37 papers)

  1. Front Matter

    Download chapter PDF

  2. Formal techniques for parallel object-oriented languages

    • Pierre America
    Pages 1-17

  3. Causal models for rational algebraic processes

    • Amar Bouali, Robert de Simone
    Pages 18-19

  4. Action and state-based logics for process algebras

    • Rocco De Nicola
    Pages 20-22

  5. A tool set for deciding behavioral equivalences

    • Jean-Claude Fernandez, Laurent Mounier
    Pages 23-42

  6. Causality based models for the design of concurrent systems

    • Ursula Goltz
    Pages 43-44

  7. Modal logics for mobile processes

    • Robin Milner, Joachim Parrow, David Walker
    Pages 45-60

  8. Towards a design calculus for communicating programs

    • Ernst-Rüdiger Olderog
    Pages 61-77

  9. A theory of testing for ACP

    • Luca Aceto, Anna Ingólfsdóttir
    Pages 78-95

  10. Real space process algebra

    • J. C. M. Baeten, J. A. Bergstra
    Pages 96-110

  11. The failure of failures in a paradigm for asynchronous communication

    • F. S. de Boer, J. N. Kok, C. Palamidessi, J. J. M. M. Rutten
    Pages 111-126

  12. Embedding as a tool for language comparison: On the CSP hierarchy

    • Frank S. de Boer, Catuscia Palamidessi
    Pages 127-141

  13. A conditional operator for CCS

    • Juanito Camilleri
    Pages 142-156

  14. Algebraic formulations of trace theory

    • N. J. Drost
    Pages 157-171

  15. Compositional synthesis of live and bounded free choice Petri nets

    • Javier Esparza, Manuel Silva
    Pages 172-187

  16. The observation algebra of spatial pomsets

    • Gian Luigi Ferrari, Ugo Montanari
    Pages 188-202

  17. Synchrony loosening transformations for interacting processes

    • Nissim Francez, Ira R. Forman
    Pages 203-219

  18. A compositional model for layered distributed systems

    • Kenneth J. Goldman
    Pages 220-234

  19. Process algebra with guards

    • Jan Friso Groote, Alban Ponse
    Pages 235-249

  20. Model checking and modular verification

    • Orna Grumberg, David E. Long
    Pages 250-265
Back to top

Keywords

About this book

CONCUR'91 is the second international conference on concurrency theory, organized in association with the NFI project Transfer. It is a sequel to the CONCUR'90 conference. Its basic aim is to communicate ongoing work in concurrency theory. This proceedings volume contains 30 papers selected for presentation at the conference (from 71 submitted) together with four invited papers and abstracts of the other invited papers. The papers are organized into sections on process algebras, logics and model checking, applications and specification languages, models and net theory, design and real-time, tools and probabilities, and programming languages. The proceedings of CONCUR'90 are available asVolume 458 of Lecture Notes in Computer Science.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation