Author:
Boreale Michele,Sangiorgi Davide
Subject
General Computer Science,Theoretical Computer Science
Reference20 articles.
1. A fully abstract semantics for causality in the π-calculus;Boreale,1994
2. An extract appeared in Proc. STACS'95, Lecture Notes in Computer Science, vol. 900, Springer, Berlin.
3. Lambda-calculus notation with nameless dummies: a tool for automatic formula manipulation with application to the Church-Rosser theorem;de Bruijn;Indag. Math.,1972
4. Causal trees;Degano,1989
5. Bisimulations for asynchronous mobile processes;Hansen,1996
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. The C-calculus: A model for confidential name passing;Journal of Logical and Algebraic Methods in Programming;2021-02
2. Bisimulation and Coinduction Enhancements: A Historical Perspective;Formal Aspects of Computing;2019-12
3. Asynchronous $$\pi $$ -calculus at Work: The Call-by-Need Strategy;The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy;2019
4. TREES FROM FUNCTIONS AS PROCESSES;LOG METH COMPUT SCI;2018
5. Concurrency cannot be observed, asynchronously;Mathematical Structures in Computer Science;2014-11-10