Functional behavior of nondeterministic and concurrent programs
- 30 September 1984
- journal article
- Published by Elsevier in Information and Control
- Vol. 62 (2-3) , 144-189
- https://doi.org/10.1016/s0019-9958(84)80032-7
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- In Scott-Strachey style denotational semantics, parallelism implies nondeterminismTheory of Computing Systems, 1981
- The Semantics of Call-By-Value and Call-By-Name in a Nondeterministic EnvironmentSIAM Journal on Computing, 1980
- Théorie des magmoïdesRAIRO. Informatique théorique, 1979
- Théorie des magmoïdes (I)RAIRO. Informatique théorique, 1978
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- Guarded commands, nondeterminacy and formal derivation of programsCommunications of the ACM, 1975
- The basic algebraic structures in categories of derivationsInformation and Control, 1975
- On modules over a semiringJournal of Algebra, 1970
- The tensor product of semigroupsTransactions of the American Mathematical Society, 1969
- The tensor product of commutative semigroupsTransactions of the American Mathematical Society, 1969