Author:
Lenglet Sergueï,Schmitt Alan,Stefani Jean-Bernard
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Lecture Notes in Computer Science;Z. Cao,2006
2. Lecture Notes in Computer Science;L. Cardelli,1998
3. Castagna, G., Vitek, J., Zappa Nardelli, F.: The Seal Calculus. Information and Computation 201(1) (2005)
4. Lecture Notes in Computer Science;J.C. Godskesen,2005
5. Hildebrandt, T., Godskesen, J.C., Bundgaard, M.: Bisimulation congruences for Homer — a calculus of higher order mobile embedded resources. Technical Report ITU-TR-2004-52, IT University of Copenhagen (2004)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Higher-order Processes with Parameterization over Names and Processes;Electronic Proceedings in Theoretical Computer Science;2016-08-09
2. On the discriminating power of passivation and higher-order interaction;Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2014-07-14
3. Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract);Advanced Information Systems Engineering;2014
4. Characterizing contextual equivalence in calculi with passivation;Information and Computation;2011-11
5. On the expressiveness and decidability of higher-order process calculi;Information and Computation;2011-02