|
|
|
Item Details
Title:
|
CONCUR '96: CONCURRENCY THEORY
7TH INTERNATIONAL CONFERENCE, PISA, ITALY, AUGUST 26 - 29, 1996. PROCEEDINGS |
By: |
Ugo Montanari (Editor), Vladimiro Sassone (Editor) |
Format: |
Paperback |
List price:
|
£117.00 |
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
ISBN 10: |
3540616047 |
ISBN 13: |
9783540616047 |
Publisher: |
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG |
Pub. date: |
7 August, 1996 |
Series: |
Lecture Notes in Computer Science v. 1119 |
Pages: |
772 |
Description: |
Constitutes the proceedings of the 7th International Conference on Concurrency Theory, CONCUR '96. The contributions in the text are grouped into topical sections on process algebras, categorical approaches, the pi-calculus, decidability and complexity, functional and constraint programming. |
Synopsis: |
This book constitutes the refereed proceedings of the 7th International Conference on Concurrency Theory, CONCUR '96, held in Pisa, Italy, in August 1996. The volume presents 37 revised full papers selected from a total of 133 submissions; also included are seven invited papers. The contributions are grouped into topical sections on process algebras, categorical approaches, the pi-calculus, decidability and complexity, probability, functional and constraint programming, Petri nets, verification, automata and causality, practical models, and shared-memory systems. |
Illustrations: |
biography |
Publication: |
Germany |
Imprint: |
Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
Returns: |
Returnable |
|
|
|
|
Ramadan and Eid al-Fitr
A celebratory, inclusive and educational exploration of Ramadan and Eid al-Fitr for both children that celebrate and children who want to understand and appreciate their peers who do.
|
|
|
|
|
|
|
|
|
|
|