Author:
Chen Xiao Jun,Corradini Flavio,Gorrieri Roberto
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. L. Aceto and D. Murphy. On the ill-timed but well-caused. In E. Best, editor, CONCUR'93, LNCS 715, pages 97–111. Springer-Verlag, 1993.
2. L. Aceto and D. Murphy. Timing and causality in process algebra. Technical Report 9/93, University of Sussex, 1993. To appear in Acta Informatica.
3. S. Arun-Kumar and M. Hennessy. An efficient preorder for processes. Acta Informatica, 29:737–760, 1992.
4. S. Brooks and W. Rounds. Behavioural equivalence relations induced by programming logics. In LNCS 154, pages 97–108. Springer-Verlag, 1983.
5. R. Cleaveland. Tableau-based model checking in the propositional μ-calculus. Acta Informatica, 27:725–747, 1990.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Scheduling Algebra;Algebraic Methodology and Software Technology;1998