Semantics of Nondeterminism‚ Concurrency and Communication

Նմանատիպ նյութեր

• A mathematical game semantics of concurrency and nondeterminism
  ‌: Gutierrez, J
  Հրապարակվել է: (2015)
• Extensional and Intensional Semantics of Bounded and Unbounded Nondeterminism
  ‌: James Laird
  Հրապարակվել է: (2021-11-01)
• Analysing TM_FS: a study of nondeterminism in real−time concurrency
  ‌: Roscoe, A, և այլն
  Հրապարակվել է: (1991)
• Nondeterminism in Logics of Programs
  ‌: Harel, David, և այլն
  Հրապարակվել է: (2023)
• Unbounded nondeterminism in CSP
  ‌: Roscoe, A, և այլն
  Հրապարակվել է: (1989)