Concurrency Verification: Introduction to Compositional and Noncompositional Methods

Willem-Paul de Roever; Frank de Boer; Ulrich Hanneman; Jozef Hooman; Yassine Lakhneche; Mannes Poel; Job Zwiers

Concurrency Verification: Introduction to Compositional and Noncompositional Methods

Willem-Paul de Roever
, Frank de Boer
, Ulrich Hanneman
, Jozef Hooman
, Yassine Lakhneche
, Mannes Poel
, Job Zwiers

Research output: Book/Report › Book › Academic

1214 Downloads (Pure)

Original language	English
Place of Publication	Cambridge, UK
Publisher	Cambridge University Press
Number of pages	776
ISBN (Print)	0-521-80608-9
Publication status	Published - 2001

Publication series

Name	Cambridge Tracts in Theoretical Computer Science
Publisher	Cambridge University Press
Volume	54

Access to Document

DeBoer2001concurrency-Front MatterFinal published version, 1.66 MB

Cite this

@book{335c34f7a1d744fa8981c64704e889d6,

title = "Concurrency Verification: Introduction to Compositional and Noncompositional Methods",

author = "\{de Roever\}, Willem-Paul and \{de Boer\}, Frank and Ulrich Hanneman and Jozef Hooman and Yassine Lakhneche and Mannes Poel and Job Zwiers",

year = "2001",

language = "English",

isbn = "0-521-80608-9",

series = "Cambridge Tracts in Theoretical Computer Science",

publisher = "Cambridge University Press",

address = "United Kingdom",

}

TY - BOOK

T1 - Concurrency Verification

T2 - Introduction to Compositional and Noncompositional Methods

AU - de Roever, Willem-Paul

AU - de Boer, Frank

AU - Hanneman, Ulrich

AU - Hooman, Jozef

AU - Lakhneche, Yassine

AU - Poel, Mannes

AU - Zwiers, Job

PY - 2001

Y1 - 2001

M3 - Book

SN - 0-521-80608-9

T3 - Cambridge Tracts in Theoretical Computer Science

BT - Concurrency Verification

PB - Cambridge University Press

CY - Cambridge, UK

ER -