Author:
Majster-Cederbaum Mila,Wu Jinzhao
Publisher
Springer Berlin Heidelberg
Reference31 articles.
1. Aceto, L.: Action Refinement in Process Algebra. Cambridge Univ. Press, Cambridge (1992)
2. Bernardo, M., Gorrieri, R.: A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time. Th. Comp. Sci. 202, 1–54 (1998)
3. Lecture Notes in Computer Science;E. Brinksma,2001
4. Brinksma, E., Katoen, J.-P., Langerak, R., Latella, D.: A Stochastic Causality- Based Process Algebra. The Computer Journal 38(7), 552–565 (1995)
5. Brinksma, E., Katoen, J.-P., Langerak, R., Latella, D.: Partial-Order Models for Quantitative Extensions of LOTOS. Computer Networks & ISDN Systems 30(9/10), 925–950 (1998)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献