Opening book details…
Can I read CONCUR 2007 - concurrency theory : 18th international conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007 ; proceedings on EtoBox?
CONCUR 2007 - concurrency theory : 18th international conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007 ; proceedings by Luís Caires; Vasco T. Vasconcelos is a computer science book available to read on EtoBox.
What is CONCUR 2007 - concurrency theory : 18th international conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007 ; proceedings about?
<p>This volume constitutes the refereed proceedings of the 17th International Conference on Concurrency Theory. Thirty full papers are presented along with three important invited papers. Each of these papers was carefully reviewed by the editors. Topics include model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages.</p>
Who reads CONCUR 2007 - concurrency theory : 18th international conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007 ; proceedings?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Luís Caires; Vasco T. Vasconcelos
- Publisher
- Springer-Verlag New York Inc
- Published
- 2007
- Language
- EN
- ISBN
- 9783540744061
- Category
- computer science
- Subjects
- Mathematics, Engineering, Programming
- Updated
- 2026-03-25
More by Luís Caires; Vasco T. Vasconcelos
Browse all works by Luís Caires; Vasco T. Vasconcelos
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 2008 - concurrency theory : 19th international conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008 ; proceedings — Joseph Y. Halpern (auth.), Franck van Breugel, Marsha Chechik (2008)
- 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 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 2003 - Concurrency Theory: 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings (Lecture Notes in Computer Science (2761)) — Albert Benveniste, Stefan Haar, Eric Fabre, Claude Jard (auth.), Roberto Amadio, Denis Lugiez (2003)
- CONCUR 2013 -- Concurrency Theory : 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings — Lorenzo Alvisi, Edmund L. Wong (auth.), Pedro R. D’Argenio, Hernán Melgratti (2013)