Related Books

Compositionality, Concurrency, and Partial Correctness
Language: en
Pages: 284
Authors: Job Zwiers
Categories: Computers
Type: BOOK - Published: 1989-02-22 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The hierarchical decomposition of programs into smaller ones is generally considered imperative to master the complexity of large programs. The impact of this p
Concurrency Verification
Language: en
Pages: 26
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.
Compositionality: The Significant Difference
Language: en
Pages: 655
Authors: Willem-Paul de Roever
Categories: Computers
Type: BOOK - Published: 2003-05-20 - Publisher: Springer

DOWNLOAD EBOOK

This book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad Malente, Germany in September 1997. The 25 chapters presented
Semantics for Concurrency
Language: en
Pages: 353
Authors: Marta Z. Kwiatkowska
Categories: Computers
Type: BOOK - Published: 2013-03-14 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The semantics of concurrent systems is one of the most vigorous areas of research in theoretical computer science, but suffers from disagree ment due to differe
Concurrency, Compositionality, and Correctness
Language: en
Pages: 383
Authors: Dennis Dams
Categories: Computers
Type: BOOK - Published: 2010-02-12 - Publisher: Springer

DOWNLOAD EBOOK

Why would you read this preface? As we start thinking what to write here, we wonder who is going to read these words. Fromourperspective–thatofwritersaddressi