Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. L. Aceto, Relating distributed, temporal and causal observations of simple processes, Fundamenta Informaticae, Volume 17 (1992), Number 4, Pp. 369–397.
2. L. Aceto, D. Murphy, Timing and Causality in Process Algebra. In preparation.
3. L. Aceto and M. Hennessy, Towards action-refinement in process algebra, Information and Computation, Volume 103, Number 2 (1993).
4. T. Axford, Concurrent Programming: Fundamental Techniques for Real-Time and Parallel Software Design, Wiley, 1989
5. J. Baeten and J.A. Bergstra, Real time process algebra, Formal Aspects of Computing, Volume 3 (1991), Number 2, Pp. 142–188.
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献