Author:
Majster-Cederbaum Mila,Wu Jinzhao,Yue Houguang
Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Reference44 articles.
1. Aceto, L., Murphy, D.: On the Ill-timed but well-caused. In: Concurrency, Lecture Notes in Computer Science. 715, 97–111 (1993)
2. Aceto, L., Murphy, D.: Timing and causality in process algebra. Acta Informatica. 33, 317–350 (1996)
3. Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science, 126, 183–235 (1994)
4. Bolognesi, T., Ciaccio, G.: Cumulating constraints on the ‘When’ and ‘What’. FORTE'93, IFIP Trans. C-22, 433–448 (1994)
5. Bowman, H., Derrick, J.: Extending LOTOS with Time: A True Concurrency Perspective. Lecture Notes in Computer Science, 1231, 383–399 (1997)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献