Related Books
Language: en
Pages: 284
Pages: 284
Type: BOOK - Published: 1989-02-22 - Publisher: Springer Science & Business Media
The hierarchical decomposition of programs into smaller ones is generally considered imperative to master the complexity of large programs. The impact of this p
Language: en
Pages: 26
Pages: 26
Type: BOOK - Published: 2001-11-26 - Publisher: Cambridge University Press
An advanced 2001 textbook on verification of concurrent programs using a semantic approach which highlights concepts clearly.
Language: en
Pages: 655
Pages: 655
Type: BOOK - Published: 2003-05-20 - Publisher: Springer
This book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad Malente, Germany in September 1997. The 25 chapters presented
Language: en
Pages: 353
Pages: 353
Type: BOOK - Published: 2013-03-14 - Publisher: Springer Science & Business Media
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
Language: en
Pages: 383
Pages: 383
Type: BOOK - Published: 2010-02-12 - Publisher: Springer
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