Author:
Klaudel Hanna,Pommereau Franck
Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Reference82 articles.
1. Alur, R., Dill, D.: A theory of timed automata. TCS 126(2), 183–235 (1994)
2. Benaissa, N., Djafri, B., Hutzler, G., Klaudel, H.: Towards modelling and verification of mobile agent systems. INADIS/IBERAMIA-SBIA-SBRN’2006. Springer, Berlin (2006)
3. Best, E., Devillers, R.: Sequential and concurrent behaviour in Petri net theory. TCS 55, 87–136 (1987)
4. Best, E., Devillers, R., Hall, J.G.: The box calculus: a new causal algebra with multi-label communication. APN’92. LNCS, vol. 609. Springer, Berlin (1992)
5. Best, E., Devillers, R., Esparza, J.: General refinement and recursion for the box calculus. STACS’93. LNCS, vol. 665. Springer, Berlin (1993)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献