Author:
Jifeng He,Morgan Carroll,McIver Annabelle
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Baeten, J.C.M., Bergstra, J.A., Smolka, S.A.: CONCUR 1992. LNCS, vol. 630 (1993)
2. Back, R.-J.R.: A calculus for program derivations. Acta Informatica 25, 593–624 (1988)
3. Dijkstra, E.W.: A Discipline of Programming. Prentice-Hall, Englewood Cliffs (1976)
4. Fagin, R., Halpern, J.Y., Meggido, N.: A logic for reasoning about probabilities. Information and Computation, 78–128 (1990)
5. Giry, M.: A categorical approach to probability theory. LCM 915, 68–85 (1975)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献