Author:
Sassone Vladimiro,Sobociński Paweł
Subject
General Computer Science,Theoretical Computer Science
Reference25 articles.
1. M. Bugliesi, S. Crafa, M. Merro, V. Sassone, Communication interference in mobile boxed ambients, in: Foundations of Software Technology and Theoretical Computer Science, FST&TCS‘02, Lecture Notes in Computer Science, Vol. 2556, Springer, Berlin, 2002, pp. 71–84.
2. Introduction to extensive and distributive categories;Carboni;J. Pure Appl. Algebra,1993
3. G. Castagna, F. Zappa Nardelli, The Seal calculus revisited, in: Foundations of Software Technology and Theoretical Computer Science, FST&TCS‘02, Lecture Notes in Computer Science, Vol. 2556, Springer, Berlin, 2002, pp. 85–96.
4. J.C. Godskesen, T. Hildebrandt, V. Sassone, A calculus of mobile resources, in: Internat. Conf. on Concurrency Theory, CONCUR‘02, Lecture Notes in Computer Science, Vol. 2421, Springer, Berlin, 2002, pp. 272–287.
5. M. Hennessy, M. Merro, Bisimulation congruences in safe ambients, in: Principles of Programming Languages, POPL‘02, ACM Press, New York, 2002, pp. 71–80.
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献