Author:
Jeffrey Alan,Rathke Julian
Subject
General Computer Science,Theoretical Computer Science
Reference33 articles.
1. K.L. Bernstein, E.W. Stark, Operational semantics of a focussing debugger, in: Proc. MFPS 95, Electronic Notes in Computer Science, Vol. 1, Springer, Berlin, 1995.
2. D. Berry, R. Milner, D. Turner, A semantics for ML concurrency primitives, in: Proc. 19th ACM Symp. on Principles of Programmings Languages, 1992.
3. G. Boudol, Asynchrony and the π-calculus, Tech. Report 1702, INRIA, Sophia-Antipolis, 1991.
4. The π-calculus in direct style;Boudol;Higher-order Symbolic Comput.,1998
5. L. Cardelli, A. Gordon, Mobile ambients, in: Proc. FoSSaCS ’98, Lecture Notes in Computer Science, Springer, Berlin, 1998.
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. COMPANIONS, CODENSITY AND CAUSALITY;LOG METH COMPUT SCI;2019
2. Companions, Codensity and Causality;Lecture Notes in Computer Science;2017
3. Coinduction All the Way Up;Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science;2016-07-05
4. Program equivalence in a simple language with state;Computer Languages, Systems & Structures;2012-07
5. Characterizing contextual equivalence in calculi with passivation;Information and Computation;2011-11