Author:
Ehrhard Thomas,Laurent Olivier
Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Subject
General Computer Science,Theoretical Computer Science
Reference25 articles.
1. Computational interpretations of linear logic
2. Vladimir Alexiev.Non-deterministic Interaction Nets. Ph.D. thesis, University of Alberta, 1999.
3. Concurrent nets: A study of prefixing in process calculi
4. Gérard Boudol. Asynchrony and the pi-calculus. Research Report 1702, INRIA, 1992.
5. On the π-calculus and linear logic
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The true concurrency of differential interaction nets;Mathematical Structures in Computer Science;2016-11-21
2. A behavioural theory for a π-calculus with preorders;Journal of Logical and Algebraic Methods in Programming;2015-11
3. A Behavioural Theory for a π-calculus with Preorders;Fundamentals of Software Engineering;2015
4. Light logics and higher-order processes;Mathematical Structures in Computer Science;2014-11-17