Semantics of Nondeterminism‚ Concurrency and Communication
المؤلفون الرئيسيون: | Francez, N, Hoare, C, Lehmann, D, de Roever, W |
---|---|
التنسيق: | Journal article |
منشور في: |
1979
|
مواد مشابهة
-
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)