Top 244 concurrency PDF Book Page 8

book image

Transactions on Petri Nets and Other Models of Concurrency VI

Josep Carmona (auth.), Kurt Jensen, Wil M. van der Aalst, Marco Ajmone Marsan, Giuliana Franceschinis, Jetty Kleijn, Lars Michael Kristensen (eds.)
·381 Pages
·2012
·10.079 MB

book image

Transactions on Petri Nets and Other Models of Concurrency XIV

Maciej Koutny, Lucia Pomello, Lars Michael Kristensen
·270 Pages
·2019
·8.331 MB

book image

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.)
·593 Pages
·2001
·6.577 MB

book image

CONCUR 2007 – Concurrency Theory: 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings

Fred B. Schneider (auth.), Luís Caires, Vasco T. Vasconcelos (eds.)
·518 Pages
·2007
·5.595 MB

book image

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.)
·540 Pages
·2004
·3.947 MB

book image

CONCUR'98 Concurrency Theory: 9th International Conference Nice, France, September 8–11, 1998 Proceedings

Moshe Y. Vardi (auth.), Davide Sangiorgi, Robert de Simone (eds.)
·666 Pages
·1998
·7.472 MB

book image

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988

Johan van Benthem (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.)
·721 Pages
·1989
·14.203 MB

book image

Topics in parallel and distributed computing : introducing concurrency in undergraduate courses

Gupta, Anshul; Prasad, Sushil K.; Rosenberg, Arnold L.; Sussman, Alan; Weems, Chip
·337 Pages
·2015
·13.818 MB

book image

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 (eds.)
·536 Pages
·2008
·5.965 MB

book image

Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever

Dennis Dams, Ulrich Hannemann (auth.), Dennis Dams, Ulrich Hannemann, Martin Steffen (eds.)
·382 Pages
·2010
·6.723 MB