CONCUR '91 - 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991. Proceedings (Paperback, 1991 ed.)

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.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 527
Release date:	August 1991
First published:	1991
Editors:	Jos C.M. Baeten • Jan F. Groote
Dimensions:	233 x 155 x 29mm (L x W x T)
Format:	Paperback
Pages:	549
Edition:	1991 ed.
ISBN-13:	978-3-540-54430-2
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation
LSN:	3-540-54430-5
Barcode:	9783540544302

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!