Author:
Germain Florence,Lacoste Marc,Stefani Jean-Bernard
Subject
General Computer Science,Theoretical Computer Science
Reference20 articles.
1. The Chemical Abstract Machine;Berry;Theoretical Computer Science,1992
2. Bugliesi M., G. Castagna, and S. Crafa, “Boxed Ambients”, In Proceedings 4th International Symposium on Theoretical Aspects of Computer Software (TACS'01), Lecture Notes in Computer Science 2215 (2001), 38–63, Springer-Verlag.
3. Cardelli L., “Wide Area Computation”, In Proceedings 26th International Colloquium on Automata, Languages and Programming (ICALP'99), Lecture Notes in Computer Science 1644 (1999), 10–24, Springer-Verlag.
4. Cardelli L., and A. Gordon, “Mobile Ambients”, In Proceedings Foundations of Software Science and Computation Structures (FoSSaCS'98), Lecture Notes in Computer Science 1378 (1998), 140–155, Springer-Verlag.
5. Le Fessant F., and L. Maranget, “Compiling Join-Patterns”, In Proceedings 3rd International Workshop on High-Level Concurrent Languages (HLCL'98), Electronic Notes in Theoretical Computer Science 16 (3) (2000), Elsevier.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Leaf-First Zipper Semantics;Lecture Notes in Computer Science;2024
2. Cooperative decoupled processes;Software Quality Journal;2017-06-22
3. Cooperative decoupled processes: the e-calculus and linearity;Proceedings of the 15th International Conference on Modularity;2016-03-14
4. Pict correctness revisited;Theoretical Computer Science;2009-02
5. Pict Correctness Revisited;Lecture Notes in Computer Science;2007