Opening book details…
Can I read CONCUR 2003 - Concurrency Theory: 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings (Lecture Notes in Computer Science (2761)) on EtoBox?
CONCUR 2003 - Concurrency Theory: 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings (Lecture Notes in Computer Science (2761)) by Albert Benveniste, Stefan Haar, Eric Fabre, Claude Jard (auth.), Roberto Amadio, Denis Lugiez (eds.) is a nonfiction available to read on EtoBox.
What is CONCUR 2003 - Concurrency Theory: 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings (Lecture Notes in Computer Science (2761)) about?
Annotation This book constitutes the refereed proceedings of the 14th International Conference on Concurrency Theory, CONCUR 2003, held in Marseille, France in September 2003. The 29 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 107 submissions. The papers are organized in topical sections on partial orders and asynchronous systems, process algebras, games, infinite systems, probabilistic automata, model checking, model checking and HMSC, security, mobility, compositional methods and real time, and probabilistic models
Who reads CONCUR 2003 - Concurrency Theory: 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings (Lecture Notes in Computer Science (2761))?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Albert Benveniste, Stefan Haar, Eric Fabre, Claude Jard (auth.), Roberto Amadio, Denis Lugiez (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2003
- Language
- EN
- ISBN
- 9783540451877
- Category
- nonfiction
- Subjects
- Mathematics, Science, Programming
More by Albert Benveniste, Stefan Haar, Eric Fabre, Claude Jard (auth.), Roberto Amadio, Denis Lugiez (eds.)
Similar books
- CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings (Lecture Notes in Computer Science (5710)) — Martín Abadi, Tim Harris (auth.), Mario Bravetti, Gianluigi Zavattaro (2009)
- CONCUR 2014 – Concurrency Theory: 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings (Lecture Notes in Computer Science, 8704) — Paolo Baldan and Daniele Gorla (2014)
- CONCUR '98 Concurrency Theory: 9th International Conference, Nice, France, September 8-11, 1998, Proceedings (Lecture Notes in Computer Science (1466)) — Moshe Y. Vardi (auth.), Davide Sangiorgi, Robert de Simone (1998)
- CONCUR 2010 - concurrency theory : 21th International Conference, CONCUR 2010, Paris, France, August 31 - September 3, 2010 ; proceedings — Frank S. de Boer, Mohammad Mahdi Jaghoori (auth.), Paul Gastin, François Laroussinie (2010)
- Concur 2001 - Concurrency Theory: 12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings (lecture Notes In Computer Science) — Parosh Aziz Abdulla, Bengt Jonsson (auth.), Kim G. Larsen, Mogens Nielsen (2001)
- CONCUR 2002 - Concurrency Theory: 13th International Conference, Brno, Czech Republic, August 20-23, 2002. Proceedings (Lecture Notes in Computer Science, 2421) — Wan Fokkink, Natalia Ioustinova, Ernst Kesseler, Jaco van de Pol, Yaroslav S. Usenko (auth.), Luboš Brim, Mojmír Křetínský, Antonín Kučera, Petr Jančar (2002)