Author:
López Natalia,Núñez Manuel
Publisher
Springer Berlin Heidelberg
Reference69 articles.
1. Lecture Notes in Computer Science;S. Andova,2001
2. Lecture Notes in Computer Science;M. Bravetti,2001
3. Bravetti, M., Aldini, A.: Discrete time generative-reactive probabilistic processes with different advancing speeds. Theoretical Computer Science 290(1), 355–406 (2003)
4. Electronics Notes in Theoretical Computer Science;M. Bravetti,2000
5. Baeten, J.C.M., Bergstra, J.A., Smolka, S.A.: Axiomatizing probabilistic processes: ACP with generative probabilities. Information and Computation 121(2), 234–255 (1995)
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献