Author:
Merro Massimo,Kleist Josva,Nestmann Uwe
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. M. Abadi and L. Cardelli. A Theory of Objects. Monographs CS. Springer, 1996.
2. R. M. Amadio, I. Castellani, and D. Sangiorgi. On Bisimulations for the Asynchronous π-calculus. Theoretical Computer Science, 195(2):291–324, 1998.
3. L. Cardelli. obliq-std.exe — Binaries for Windows NT. http://www.luca.-demon.co.uk/Obliq/Obliq.html , 1994.
4. L. Cardelli. A Language with Distributed Scope. Computing Systems, 8(1):27–59, 1995. An exteded abstract as appeared in Proceedings of POPL’ 95
5. C. Fournet and G. Gonthier. The Reflexive Chemical Abstract Machine and the join-calculus. In Proceedings of POPL’ 96, ACM, 1996.