Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Reference55 articles.
1. Aceto, L.: Relating distributed, temporal and causal observations of simple processes. Fund. Inf 17 (4), 369–397 (1992)
2. Aceto, L., Hennessy M.: Towards action refinement in process algebra. Inform. and Comput., 103 (2), 204–269 (1993)
3. Aceto, L., Jeffrey, A.: A complete axiomatization of timed bisimulation for a class of timed regular behaviours. Technical report 4/94, Computer Science, University of Sussex, March 1994. To appear in Theoret. Comput. Sci.
4. Aceto, L., Murphy, D.: On the Ill-Timed but Well-Caused. In Best, E. (ed), CONCUR. Proc. Hildesheim. (Lect. Notes Comput. Sci., Vol. 715) Springer 1993
5. Aceto, L., Murphy, D.: Timing and Causality in Process Algebra. Technical Report 9/93, University of Sussex, 1993
Cited by
64 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献