Author:
Levi Francesca,Sangiorgi Davide
Cited by
90 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On sequentiality and well-bracketing in the π-calculus;2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2021-06-29
2. Theory of interaction;Theoretical Computer Science;2016-01
3. Informative Types and Effects for Hybrid Migration Control;Runtime Verification;2013
4. Mobility in Process Calculi and Natural Computing;Natural Computing Series;2011
5. Nomadic pict;ACM Transactions on Programming Languages and Systems;2010-04