Author:
McIver Annabelle K.,Weber Tjark
Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. Lecture Notes in Computer Science;T. Arons,2003
2. Aspnes, J., Herlihy, M.: Fast randomized consensus using shared memory. J. Algorithms 11(3), 441–461 (1990)
3. Back, R.-J.R., von Wright, J.: The Refinement Calculus: A Systematic Introduction. Springer, Heidelberg (1998)
4. Celiku, O., McIver, A.: Cost-based analysis of probabilistic programs mechanised in HOL. Nordic Journal of Computing (2004)
5. Cohen, E.: Hypotheses in Kleene Algebra. Bellcore technical report (1994)
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献