Author:
Godskesen Jens Chr.,Hildebrandt Thomas
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Castagna, G., Vitek, J., Nardelli, F.Z.: The Seal calculus. Accepted for publication in Information and Computation (2004)
2. Schmitt, A., Stefani, J.B.: The M-calculus: A higher-order distributed process calculus. In: Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL 2003), pp. 50–61 (2003)
3. Lecture Notes in Computer Science;A. Schmitt,2005
4. Howe, D.J.: Proving congruence of bisimulation in functional programming languages. Information and Computation 124, 103–112 (1996)
5. Thomsen, B.: Plain CHOCS. A second generation calculus for higher order processes. Acta Informatica 30, 1–59 (1993)
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Locations and session types in a language with higher-order reflection;Proceedings of the 9th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control - AGERE 2019;2019
2. Declarative event based models of concurrency and refinement in psi-calculi;Journal of Logical and Algebraic Methods in Programming;2016-04
3. 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
4. Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract);Advanced Information Systems Engineering;2014
5. Coinductive techniques for higher-order languages;Electronic Proceedings in Theoretical Computer Science;2013-10-15