|
|
|
|
| LEADER |
01418cam a22002537a 4500 |
| 005 |
20160322165207.0 |
| 008 |
100907s2010 enka b 001 0 eng |
| 020 |
|
|
|a 9788132204121
|
| 020 |
|
|
|a 184882257X (alk. paper)
|
| 020 |
|
|
|a 9781848822580 (eISBN)
|
| 020 |
|
|
|a 1848822588 (eISBN)
|
| 041 |
|
|
|a eng
|
| 082 |
0 |
4 |
|a 004.891
|b ROS
|
| 100 |
1 |
|
|a Roscoe, A. W.
|9 2145
|
| 245 |
1 |
0 |
|a Understanding concurrent systems /
|c A.W. Roscoe.
|
| 260 |
|
|
|a London ;
|a New York :
|b Springer,
|c c2010.
|
| 300 |
|
|
|a xviii, 527 p. :
|
| 490 |
0 |
|
|a Texts in computer science,
|
| 505 |
0 |
|
|a 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.
|
| 650 |
|
0 |
|a Parallel processing (Electronic computers)
|9 836
|
| 650 |
|
0 |
|a Sequential processing (Computer science)
|9 2146
|
| 942 |
|
|
|c BK
|6 _
|
| 999 |
|
|
|c 155891
|d 155891
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 004891_ROS
|7 0
|9 203904
|a DCS
|b DCS
|c GEN
|d 2014-08-27
|o 004.891 ROS
|p MCS05604
|r 2014-08-27
|w 2014-08-27
|y BK
|