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)