Author:
Beffara Emmanuel,Mogbil Virgile
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Abramsky, S.: Proofs as processes. TCS 135(1), 5–9 (1994)
2. Beffara, E.: A concurrent model for linear logic. ENTCS 155, 147–168 (2006)
3. Beffara, E., Maurel, F.: Concurrent nets: a study of prefixing in process calculi. TCS 356(3), 356–373 (2006)
4. Beffara, E., Mogbil, V.: Proofs as executions. Technical Report 00586459, HAL (July 2012),
http://hal.archives-ouvertes.fr/hal-00586459
5. Lecture Notes in Computer Science;P. Bruscoli,2002
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Processes against tests: On defining contextual equivalences;Journal of Logical and Algebraic Methods in Programming;2022-11
2. Processes, Systems & Tests: Defining Contextual Equivalences;Electronic Proceedings in Theoretical Computer Science;2021-10-02
3. An Interpretation of CCS into Ludics;Electronic Notes in Theoretical Computer Science;2018-10
4. A proof-theoretic view on scheduling in concurrency;Electronic Proceedings in Theoretical Computer Science;2014-09-09
5. Proofs as Executions;Lecture Notes in Computer Science;2012