Access this book
Tax calculation will be finalised at checkout
Other ways to access
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.
Similar content being viewed by others
Keywords
Table of contents (37 papers)
-
Front Matter
Bibliographic Information
Book Title: CONCUR '91
Book Subtitle: 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991. Proceedings
Editors: Jos C. M. Baeten, Jan Frisco Groote
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-54430-5
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1991
Softcover ISBN: 978-3-540-54430-2Published: 14 August 1991
eBook ISBN: 978-3-540-38357-4Published: 06 July 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XI, 549
Topics: Theory of Computation, Computation by Abstract Devices, Programming Techniques, Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs