Author:
Chaochen Zhou,Hoare C.A.R.,Ravn Anders P.
Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Reference15 articles.
1. A really abstract concurrent model and its temporal logic;Barringer;Proc. 13th ACM Symp. on the Principles of Programming Languages,1986
2. A relational calculus of intervals;Brien,1990
3. Correctness and communication of real-time systems;Schneider,1990
4. Programming in temporal logic;Hale,1988
5. J. Hooman and J. Widom, A temporal-logic based compositional proof system for real-time message passing, in: PARLE '89, Lecture Notes in Computer Science 366 (Springer, Berlin).
Cited by
470 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献