CONCUR '91

Jan F. Groote

ISBN 10: 3540544305 / ISBN 13: 9783540544302

Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Aug 1991, 1991

About this Item

This item is printed on demand - it takes 3-4 days longer - Neuware -CONCUR'91 is the second international conference onconcurrency theory, organized in association with the NFIproject Transfer. It is a sequel to the CONCUR'90conference. Its basic aim is to communicate ongoing work inconcurrency theory. This proceedings volume contains 30papers selected for presentation at the conference (from 71submitted) together with four invited papers and abstractsof the other invited papers. The papers are organized intosections on process algebras, logics and model checking,applications and specification languages, models and nettheory, design and real-time, tools and probabilities, andprogramming languages. The proceedings of CONCUR'90 areavailable asVolume 458 of Lecture Notes in ComputerScience. 560 pp. Englisch.

Seller Inventory # 9783540544302

Bibliographic Details

• Title: CONCUR '91
• Publisher: Springer Berlin Heidelberg, Springer Berlin Heidelberg Aug 1991
• Publication Date: 1991
• Language: English
• ISBN 10: 3540544305
• ISBN 13: 9783540544302
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 30D millimeters 235 millimeters width by 155 millimeters height by 30 millimeters depth
• Weight: 838 grams

About this title

Synopsis

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.