CONCUR '91

CONCUR '91
Author :
Publisher : Springer Science & Business Media
Total Pages : 564
Release :
ISBN-10 : 3540544305
ISBN-13 : 9783540544302
Rating : 4/5 (05 Downloads)

Book Synopsis CONCUR '91 by : Jos C.M. Baeten

Download or read book CONCUR '91 written by Jos C.M. Baeten and published by Springer Science & Business Media. This book was released on 1991-08-14 with total page 564 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


CONCUR '91 Related Books

CONCUR '91
Language: en
Pages: 564
Authors: Jos C.M. Baeten
Categories: Computers
Type: BOOK - Published: 1991-08-14 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

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
CONCUR '92
Language: en
Pages: 596
Authors: Walter R. Cleaveland
Categories: Mathematics
Type: BOOK - Published: 1992-08-12 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book contains a selection of research papers describing recent advancesin the theory of concurrent systems and their applications. The papers were all pres
CONCUR '96: Concurrency Theory
Language: en
Pages: 772
Authors: Ugo Montanari
Categories: Computers
Type: BOOK - Published: 1996-08-07 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 8th International Conference on Concurrency Theory, CONCUR'97. held in Warsaw, Poland, in July 1997. The 2
CONCUR 2001 - Concurrency Theory
Language: en
Pages: 594
Authors: Kim G. Larsen
Categories: Computers
Type: BOOK - Published: 2001-08-13 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 12th International Conference on Concurrency Theory, CONCUR 2001, held in Aalborg, Denmark in August 2001.
Report of Cases Argued and Determined in the Supreme Court of Alabama
Language: en
Pages: 766
Authors: Alabama. Supreme Court
Categories: Law reports, digests, etc
Type: BOOK - Published: 1922 - Publisher:

DOWNLOAD EBOOK