Author:
Aceto Luca,Ésik Zoltán,Ingólfsdóttir Anna
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. L. Aceto, Z. Ésik, and A. Ingólfsdóttir, Equational axioms for probabilistic bisimilarity (preliminary report), Report RS-02-6, BRICS (Basic Research in Computer Science, Centre of the Danish National Research Foundation), February 2002. Available at the URL http://www.brics.dk/RS/02/6/index.html .
2. J. C. M. Baeten, J. A. Bergstra, and S. A. Smolka, Axiomatizing probabilistic processes: ACP with generative probabilities, Inform. and Comput., 121 (1995), pp. 234–255.
3. J. W. de Bakker and D. Scott, A theory of programs, Technical Report, IBM Laboratory, Vienna, 1969.
4. Lect Notes Comput Sci;E. Bandini,2001
5. H. Bekic, Definable operations in general algebras, and the theory of automata and flowcharts, Technical Report, IBM Laboratory, Vienna, 1969.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献