Matches in Library of Congress for { <http://lccn.loc.gov/2010936468> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- 2010936468 contributor B12095217.
- 2010936468 created "c2010.".
- 2010936468 date "2010".
- 2010936468 date "c2010.".
- 2010936468 dateCopyrighted "c2010.".
- 2010936468 description "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.".
- 2010936468 description "Includes bibliographical references and index.".
- 2010936468 extent "xviii, 527 p. :".
- 2010936468 identifier "184882257X (alk. paper)".
- 2010936468 identifier "1848822588 (e-ISBN)".
- 2010936468 identifier "9781848822573 (alk. paper)".
- 2010936468 identifier "9781848822580 (e-ISBN)".
- 2010936468 isPartOf "Texts in computer science, 1868-0941".
- 2010936468 issued "2010".
- 2010936468 issued "c2010.".
- 2010936468 language "eng".
- 2010936468 publisher "London ; New York : Springer,".
- 2010936468 subject "004.35 22".
- 2010936468 subject "Parallel processing (Electronic computers)".
- 2010936468 subject "QA76.58 .R673 2010".
- 2010936468 subject "Sequential processing (Computer science)".
- 2010936468 tableOfContents "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.".
- 2010936468 title "Understanding concurrent systems / A.W. Roscoe.".
- 2010936468 type "text".