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)