Discover references
Concurrency
Books
100 results
English
Unordered
Concurrency Theory: Calculi and Automata for Modelling Untimed and Timed Concurrent Systems
Howard Bowman,Rodolfo Gomez
2005
View book
English
Unordered
CONCUR 2004 - Concurrency Theory: 15th International Conference, London, UK, August 31 - September 3, 2004. Proceedings
Tony Andrews,Shaz Qadeer,Sriram K. Rajamani,Jakob Rehof,Yichen Xie (auth.),Philippa Gardner,Nobuko Yoshida (eds.)
2004
View book
English
Unordered
CONCUR 2001 — Concurrency Theory: 12th International Conference Aalborg, Denmark, August 20–25, 2001 Proceedings
Parosh Aziz Abdulla,Bengt Jonsson (auth.),Kim G. Larsen,Mogens Nielsen (eds.)
2001
View book
English
Unordered
CONCUR 2004 - Concurrency Theory: 15th International Conference, London, UK, August 31 - September 3, 2004. Proceedings
Tony Andrews,Shaz Qadeer,Sriram K. Rajamani,Jakob Rehof,Yichen Xie (auth.),Philippa Gardner,Nobuko Yoshida (eds.)
2004
View book
English
Unordered
Petri Nets and Other Models of Concurrency - ICATPN 2006: 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings
Ralph-Johan Back (auth.),Susanna Donatelli,P. S. Thiagarajan (eds.)
2006
View book
English
Unordered
CONCUR 2005 – Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings
Dawson Engler (auth.),Martín Abadi,Luca de Alfaro (eds.)
2005
View book
English
Unordered
CONCUR 2003 - Concurrency Theory: 14th International Conference, Marseille, France, September 3-5, 2003. Proceedings
Albert Benveniste,Stefan Haar,Eric Fabre,Claude Jard (auth.),Roberto Amadio,Denis Lugiez (eds.)
2003
View book
English
Unordered
CONCUR 2002 — Concurrency Theory: 13th International Conference Brno, Czech Republic, August 20–23, 2002 Proceedings
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 (eds.)
2002
View book
English
Unordered
Hands-On System Programming with C++ Build robust and concurrent Unix and Linux systems with C++17
Dr. Rian Quinn
2018
View book
English
Unordered
Concurrency and Computation: Practice and Experience
Paul Brebner; Jeffrey Gosper
2004 July 12
View book
English
Unordered
The Rust Programming Language, 2nd Edition
Steve Klabnik; Carol Nichols
2022
View book