Author:
Baeten J. C. M.,Mousavi M. R.,Reniers M. A.
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Baeten, J.C.M.: Embedding untimed into timed process algebra: the case for explicit termination. Mathematical Structures in Computer Science (MSCS) 13(4), 589–618 (2003)
2. Baeten, J.C.M., Bergstra, J.A.: Real Time Process Algebra. Formal Aspects of Computing 3, 142–188 (1991)
3. Baeten, J.C.M., Bergstra, J.A.: Discrete time process algebra. Formal Aspects of Computing 8(2), 188–208 (1996)
4. Lecture Notes in Computer Science;J.C.M. Baeten,1987
5. Baeten, J.C.M., Middelburg, C.A.: Process Algebra with Timing. In: EATCS Monographs. Springer, Berlin (2002)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献