Understanding concurrent systems /
by Roscoe, A. W.
Series: Texts in computer science, 1868-0941 Published by : Springer, (London ; | New York :) Physical details: xviii, 527 p. : ill. ; 25 cm. ISBN:9781848822573 (alk. paper); 184882257X (alk. paper); 9781848822580 (e-ISBN); 1848822588 (e-ISBN). Year: 2010Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
University of Sargodha-Central Library | 004.35 ROS (Browse shelf) | Available | 83030 |
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.
There are no comments for this item.