Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. S. Andova, Process algebra with interleaving probabilistic parallel composition, CSR 99-04, Eindhoven University of Technology, 1999.
2. Lect Notes Comput Sci;S. Andova,1999
3. S. Andova, Discrete relative time in probabilistic process algebra, Eindhoven University of Technology, CSR 00-**, 2000.
4. J.C.M. Baeten, J.A. Bergstra, Real time process algebra, Formal Aspects of Computing, 3(2):142–188, 1991.
5. Lect Notes Comput Sci;J.C.M. Baeten,1994
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Embedding Real Time in Stochastic Process Algebras;Formal Methods and Stochastic Models for Performance Evaluation;2006
2. A translation of TPALp into a class of timed-probabilistic Petri nets;Theoretical Computer Science;2005-06
3. Time and Probability in Process Algebra;Algebraic Methodology and Software Technology;2000