Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1991

CONCUR '91

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

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)

Sections

Buy it now

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

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

Table of contents (37 papers)

  1. Front Matter

    PDF

  3. Causal models for rational algebraic processes

    • Amar Bouali, Robert de Simone
    Pages 18-19

  5. A tool set for deciding behavioral equivalences

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

  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

  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

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.
Back to top

Keywords

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation