Roscoe, A. W.
Understanding concurrent systems / A.W. Roscoe. - London ; New York : Springer, c2010. - xviii, 527 p. : ill. ; 25 cm. - Texts in computer science, 1868-0941 .
Includes bibliographical references and index.
Building a simple sequential process -- Understanding CSP -- Parallel operators -- CSP case studies -- Hiding and renaming -- Beyond traces -- Further operators -- Using FDR -- Operational semantics -- Denotational semantics and behavioural models -- Finite observation models -- Infinite-behaviour models -- The algebra of CSP -- Timed systems 1 : tock-CSP -- Timed systems 2 : discrete timed CSP -- More about FDR -- State explosion and parameterised verification -- Shared-variable programs -- Understanding shared-variable concurrency -- Priority and mobility.
9781848822573 (alk. paper) 184882257X (alk. paper) 9781848822580 (e-ISBN) 1848822588 (e-ISBN)
2010936468
GBB009954 bnb
015474274 Uk
Parallel processing (Electronic computers)
Sequential processing (Computer science)
QA76.58 / .R673 2010
004.35
Understanding concurrent systems / A.W. Roscoe. - London ; New York : Springer, c2010. - xviii, 527 p. : ill. ; 25 cm. - Texts in computer science, 1868-0941 .
Includes bibliographical references and index.
Building a simple sequential process -- Understanding CSP -- Parallel operators -- CSP case studies -- Hiding and renaming -- Beyond traces -- Further operators -- Using FDR -- Operational semantics -- Denotational semantics and behavioural models -- Finite observation models -- Infinite-behaviour models -- The algebra of CSP -- Timed systems 1 : tock-CSP -- Timed systems 2 : discrete timed CSP -- More about FDR -- State explosion and parameterised verification -- Shared-variable programs -- Understanding shared-variable concurrency -- Priority and mobility.
9781848822573 (alk. paper) 184882257X (alk. paper) 9781848822580 (e-ISBN) 1848822588 (e-ISBN)
2010936468
GBB009954 bnb
015474274 Uk
Parallel processing (Electronic computers)
Sequential processing (Computer science)
QA76.58 / .R673 2010
004.35