Publisher
Springer Berlin Heidelberg
Reference31 articles.
1. S. Abramsky and T. Maibaum. Handbook of Logic in Computer Science, volume 1. Oxford Press, 1993.
2. L. Aceto and D. Murphy. On the ill-timed, but well-caused. In Proc. of CONCUR'93, number 715 in LNCS, pages 97–111. Springer-Verlag.
3. R. Alur and D. Dill. The theory of timed automata. In Proceedings of the REX Workshop, Real-Time: Theory in Practice, LNCS. Springer-Verlag, 1991.
4. A. Asperti and G. Longo. Categories, types and structures. The MIT Press, second edition, 1991.
5. H. Barringer, R. Kuiper, and A. Pnueli. A really abstract concurrent model and its temporal logic. In Proc. of the 13th POPL, pages 173–183. ACM Press, 1986.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Linear Process Algebra;Distributed Computing and Internet Technology;2011
2. Computing Schedules for Multithreaded Real-Time Programs Using Geometry;Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems;2004
3. Partial order models for quantitative extensions of LOTOS;Computer Networks and ISDN Systems;1998-05
4. Logical and operational methods in the analysis of programs and systems;Analysis and Verification of Multiple-Agent Languages;1997