Reasoning with time and chance
Open Access
- 1 June 1982
- journal article
- Published by Elsevier in Information and Control
- Vol. 53 (3) , 165-198
- https://doi.org/10.1016/s0019-9958(82)91022-1
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- N-Process mutual exclusion with bounded waiting by 4 · Log2 N-valued shared variableJournal of Computer and System Sciences, 1982
- The choice coordination problemActa Informatica, 1982
- On Primality TestsSIAM Journal on Computing, 1982
- Semantics of probabilistic programsJournal of Computer and System Sciences, 1981
- The temporal semantics of concurrent programsTheoretical Computer Science, 1981
- A Fast Monte-Carlo Test for PrimalitySIAM Journal on Computing, 1977