The theory and practice of concurrency

Main
Computers - Programming
The theory and practice of concurrency

The theory and practice of concurrency

A. W. Roscoe

0 / 0

Quanto Você gostou deste livro?

Qual é a qualidade do ficheiro descarregado?

Descarregue o livro para avaliar a sua qualidade

De que qualidade são os ficheiros descarregados?

The best textbook for learning CSP. Dr. Hoare's original book is like a reference. This book explains concepts way better.

Categorias:

Computers - Programming

Ano:

1998

Edição:

1

Editora:

Prentice Hall

Idioma:

english

Páginas:

608

ISBN 10:

0136744095

ISBN 13:

9780136744092

Série:

Prentice-Hall international series in computer science

Arquivo:

PDF, 3.53 MB

IPFS:

,

english, 1998

Ler online

A converter para

Conversão para falhou

Você pode estar interessado em

Milner R. — Communication and Concurrency

C. A. R. Hoare — Communicating sequential processes

Gul Agha — ACTORS: A Model of Concurrent Computation in Distributed Systems

Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen — Principles of Model Checking

Clay Breshears — The Art of Concurrency: A Thread Monkey's Guide to Writing Parallel Applications

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog — Verification of sequential and concurrent programs

Howard Bowman, Rodolfo Gomez — Concurrency Theory: Calculi and Automata for Modelling Untimed and Timed Concurrent Systems

Brookes S.D. — A Model for Communicating Sequential Processes [PhD Thesis]

Howard Bowman, Rodolfo Gomez — Concurrency Theory: Calculi and Automata for Modelling Untimed and Timed Concurrent Systems

C A R Hoare — Communicating Sequential Processes Csp

Schneider, Steve — Concurrent and real time systems: the CSP approach

Steve Schneider — Concurrent and Real-time Systems: The CSP Approach

Howard Bowman, Rodolfo Gomez — Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems

Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh — Formal Methods for Software Engineering: Languages, Methods, Application Domains

(Lecturer) Zhe Hou (editor); Vijay Ganesh (editor) — Automated technology for verification and analysis : 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-21, 2021, proceedings

Calinescu, Radu (editor) & Păsăreanu, Corina S. (editor) — Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings

Lucas Lima, Vince Molnár — Formal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings

David Naumann (eds.) — Unifying Theories of Programming: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers

John Derrick, Eerke Boiten — Refinement. Semantics, Languages and Applications

Ian J. Hayes (auth.), Jin Song Dong, Jim Woodcock (eds.) — Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003. Proceedings

Thomas Ball, Byron Cook, Vladimir Levin, Sriram K. Rajamani (auth.), Eerke A. Boiten, John Derrick, Graeme Smith (eds.) — Integrated Formal Methods: 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings

Roland Backhouse (auth.), Charles Rattray, Savitri Maharaj, Carron Shankland (eds.) — Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004. Proceedings

Stephen Brookes (auth.), Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders (eds.) — Communicating Sequential Processes. The First 25 Years: Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

Anthony Hall (auth.), Kung-Kiu Lau, Richard Banach (eds.) — Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings

David Lorge Parnas (auth.), Judi Romijn, Graeme Smith, Jaco van de Pol (eds.) — Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings

Eran Gery, David Harel, Eldad Palachi (auth.), Michael Butler, Luigia Petre, Kaisa Sere (eds.) — Integrated Formal Methods: Third International Conference, IFM 2002 Turku, Finland, May 15–18, 2002 Proceedings

Lars-Henrik Eriksson, Peter Alexander Lindsay (eds.) — FME 2002: Formal Methods—Getting IT Right. International Symposium of Formal Methods Europe Copenhagen, Denmark, July 22–24, 2002 Proceedings

Holger Hermanns (eds.) — Interactive Markov Chains: And the Quest for Quantified Quality

J. -R. Abrial, Thai Son Hoang (auth.), John S. Fitzgerald, Anne E. Haxthausen, Husnu Yenigun (eds.) — Theoretical Aspects of Computing - ICTAC 2008: 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings

Takuya Katayama (auth.), Shaoying Liu, Tom Maibaum, Keijiro Araki (eds.) — Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings

Thai Son Hoang, Hironobu Kuruma, David Basin, Jean-Raymond Abrial (auth.), Michael Leuschel, Heike Wehrheim (eds.) — Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

Marcel Vinícius Medeiros Oliveira, Jim Woodcock — Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected ... / Programming and Software Engineering)

Ian J. Hayes (auth.), Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock (eds.) — Theoretical Aspects of Computing – ICTAC 2010: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings

Christel Baier (auth.), Dominique Méry, Stephan Merz (eds.) — Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings

Carroll C. Morgan (auth.), Lindsay Groves, Jing Sun (eds.) — Formal Methods and Software Engineering: 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings

Frases chave