Author:
van Glabbeek Rob,Rittgen Peter
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Aceto, L.; Murphy, D.: Timing and Causality in Process Algebra, Acta Informatica 33, 1996, pp. 317–350
2. Baeten, J.C.M.; Bergstra, J.A.: Real Time Process Algebra, Formal Aspects of Computing 3(2), 1991, pp. 142–188
3. Bergstra, J.A.; Klop, J.W.: Process Algebra for Synchronous Communication, Information and Control 60, 1984, pp. 109–137
4. Lect Notes Comput Sci;X.J. Chen,1996
5. Clark, W.: The Gantt Chart: A Working Tool of Management, Pitman, London, 1935
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Pars;Chapman & Hall/CRC Computational Science;2008-12-22
2. PARS: A Process Algebra with Resources and Schedulers;Lecture Notes in Computer Science;2004
3. The Algebra of Multi-tasking;Algebraic Methodology and Software Technology;2000