Concurrent and Real Time Systems: The CSP Approach (Worldwide Series in Computer Science) [Paperback]

able  allows  appear  associated  behaviour  between  cannot  case  channel  choice  combination  component  contain  control  csp  defined  definition  delay  described  description  does  either  event  example  execution  exercise  external  fact  failures  figure  finite  first  follows  form  function  given  ii  ill  infinite  input  interface  internal  law  may  means  meet  message  might  model  must  node  number  occur  offer  offered  operator  order  output  parallel  particular  perform  pi  point  possibilities  possible  prefix  process  property  qi  ready  recursion  recursive  refinement  refusal  refused  result  rule  sat  second  semantics  sequence  set  should  since  skip  specification  stable  state  stop  system  terms  ti  time  timed  tr  trace  transition  two  untimed  used