Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. R. Alur and D.L. Dill. A theory of timed automata. Theoret. Comput. Sci., 126:183–235, 1994.
2. J. Bowen, C.A.R. Hoare, H. Langmaack, E.-R. Olderog, and A.P. Ravn. ProCoS II: A ProCoS II Project Final Report, chapter 7, pages 76–99. Number 59 in Bulletin of the EATCS. European Association for Theoretical Computer Science, June 1996.
3. Zhou Chaochen. Duration Calculi: An overview. In D. Bjørner, M. Broy, and I.V. Pottosin, editors, Formal Methods in Programming and Their Application, volume 735 of Lecture Notes in Computer Science, pages 256–266. Springer-Verlag, 1993.
4. Zhou Chaochen, C.A.R. Hoare, and A.P. Ravn. A Calculus of Durations. Inform. Proc. Letters, 40/5:269–276, 1991.
5. C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall International, 1985.
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献