Author:
Degano Pierpaolo,Loddo Jean-Vincent,Priami Corrado
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. L. Aceto and D. Murphy. Timing and causality in process algebra. Technical Report 9/93, University of Sussex, 1993.
2. R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, 126(2):183–236, 1994.
3. J.C.M Baeten and J.A. Bergstra. Real-time process algebra. Technical Report CS-R9053, Centre for Mathematics and Computer Science, Amsterdam, 1990.
4. A. Bianchi, S. Coluccini, P. Degano, and C. Priami. An efficient verifier of truly concurrent properties. In V. Malyshkin, editor, Proceedings of PaCT'95, LNCS 964, pages 36–50. Springer-Verlag, 1995.
5. Roberta Borgia, Pierpaolo Degano, Corrado Priami, Lone Leth, and Bent Thomsen. Understanding mobile agents via a non-interleaving semantics for facile. Technical Report ECRC-96-4, European Computer-Industry Research Centre, 1996.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献