Unbounded nondeterminism in CSP

Benzer Materyaller

• Unbounded nondeterminism in CSP
  Yazar:: Roscoe, A, ve diğerleri
  Baskı/Yayın Bilgisi: (1989)
• Classifying unbounded nondeterminism in CSP
  Yazar:: Barrett, G, ve diğerleri
  Baskı/Yayın Bilgisi: (1991)
• Extensional and Intensional Semantics of Bounded and Unbounded Nondeterminism
  Yazar:: James Laird
  Baskı/Yayın Bilgisi: (2021-11-01)
• Modelling unbounded parallel sessions of security protocols in CSP
  Yazar:: Roscoe, A, ve diğerleri
  Baskı/Yayın Bilgisi: (2006)
• Analysing TM_FS: a study of nondeterminism in real−time concurrency
  Yazar:: Roscoe, A, ve diğerleri
  Baskı/Yayın Bilgisi: (1991)