Concurrency Verification

Author	: W.-P. de Roever
Publisher	: Cambridge University Press
Total Pages	: 26
Release	: 2001-11-26
ISBN-10	: 0521806089
ISBN-13	: 9780521806084
Rating	: 4/5 (89 Downloads)

DOWNLOAD EBOOK

Book Synopsis Concurrency Verification by : W.-P. de Roever

Download or read book Concurrency Verification written by W.-P. de Roever and published by Cambridge University Press. This book was released on 2001-11-26 with total page 26 pages. Available in PDF, EPUB and Kindle. Book excerpt: An advanced 2001 textbook on verification of concurrent programs using a semantic approach which highlights concepts clearly.

Concurrency Verification Related Books

Language: en
Pages: 26

Concurrency Verification

Authors: W.-P. de Roever

Categories: Computers

Type: BOOK - Published: 2001-11-26 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

An advanced 2001 textbook on verification of concurrent programs using a semantic approach which highlights concepts clearly.

Language: en
Pages: 446

Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems

Authors: Filip Thoen

Categories: Computers

Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

system is a complex object containing a significant percentage of elec A tronics that interacts with the Real World (physical environments, humans, etc. ) throu

Language: en
Pages: 470

Application and Theory of Petri Nets and Concurrency

Authors: Luis Gomes

Categories: Technology & Engineering

Type: BOOK - Published: 2023-05-27 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the proceedings of the 44th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2023, which took

Language: en
Pages: 613

CONCUR 2010 - Concurrency Theory

Authors: Paul Gastin

Categories: Computers

Type: BOOK - Published: 2010-08-18 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 20th International Conference on Concurrency Theory, CONCUR 2010, held in Paris, France, August 31 - Septe

Language: en
Pages: 584

CONCUR'99. Concurrency Theory

Authors: Jos C.M. Baeten

Categories: Mathematics

Type: BOOK - Published: 2003-07-31 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the proceedings of the 10th International Conference on Concurrency Theory, CONCUR'99, held in Eindhoven, The Netherlands in August 1999.