Publisher
Springer Science and Business Media LLC
Subject
Computational Theory and Mathematics,Computer Networks and Communications,Hardware and Architecture,Theoretical Computer Science
Reference18 articles.
1. Burns JE, Fischer MJ, Jackson P, Lynch NA, Peterson GL (1978) Shared data requirements for imolementation of mutual exclusion using a test-and-set primitive. Proc Intr Conf Parallel Processing, pp 79–87
2. Cohen, S, Lehmann D, Pnueli A (1984) Symmetric and economical solution to the mutual exclusion problem in distributed systems. Theor Comp Sci 34:215–226
3. Dijkstra EW (1972) Hierarchical ordering of sequential process. Operating system techniques. Academic Press
4. Feller W (1967) An introduction to probability theory and its appliction 3rd ed, vol 1, ch. XIII, section 7. Wiley, pp 322–324
5. Hart S, Sharir M, Pnueli A (1983) Termintion of probabilistic concurrent programs. TOPLAS 5:356–380
Cited by
79 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Markov automata with multiple objectives;Formal Methods in System Design;2021-03-29
2. Verification of randomized consensus algorithms under round-rigid adversaries;International Journal on Software Tools for Technology Transfer;2021-02-02
3. Omega-Regular Objectives in Model-Free Reinforcement Learning;Tools and Algorithms for the Construction and Analysis of Systems;2019
4. Generic Emptiness Check for Fun and Profit;Automated Technology for Verification and Analysis;2019
5. The 10,000 Facets of MDP Model Checking;Lecture Notes in Computer Science;2019