CONCUR '96: Concurrency Theory
7th International Conference, Pisa, Italy, August 26 - 29, 1996. Proceedings
Mitarbeit:Montanari, Ugo; Sassone, Vladimiro
CONCUR '96: Concurrency Theory
7th International Conference, Pisa, Italy, August 26 - 29, 1996. Proceedings
Mitarbeit:Montanari, Ugo; Sassone, Vladimiro
- Broschiertes Buch
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
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.
- Jos C.M. Baeten / Sjouke Mauw (eds.)CONCUR'99. Concurrency Theory79,99 €
- Philippa Gardner / Nobuko Yoshida (eds.)CONCUR 2004 -- Concurrency Theory40,99 €
- BillingtonApplication and Theory of Petri Nets 199679,99 €
- Martín Abadi / Luca de Alfaro (eds.)CONCUR 2005 - Concurrency Theory40,99 €
- Catuscia Palamidessi (ed.)CONCUR 2000 - Concurrency Theory79,99 €
- Lubos Brim / Petr Jancar / Mojmir Krstinksy / Antonin Kucera (eds.)CONCUR 2002 - Concurrency Theory79,99 €
- SangiorgiCONCUR '98 Concurrency Theory79,99 €
-
-
-
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.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
- Produktdetails
- Lecture Notes in Computer Science 1119
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 978-3-540-61604-7
- 1996.
- Seitenzahl: 772
- Erscheinungstermin: 7. August 1996
- Englisch
- Abmessung: 235mm x 155mm x 42mm
- Gewicht: 996g
- ISBN-13: 9783540616047
- ISBN-10: 3540616047
- Artikelnr.: 09253355
- Lecture Notes in Computer Science 1119
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 978-3-540-61604-7
- 1996.
- Seitenzahl: 772
- Erscheinungstermin: 7. August 1996
- Englisch
- Abmessung: 235mm x 155mm x 42mm
- Gewicht: 996g
- ISBN-13: 9783540616047
- ISBN-10: 3540616047
- Artikelnr.: 09253355