The Concurrent Calculi Formalisation Benchmark-Reference-Cited by-同舟云学术

The Concurrent Calculi Formalisation Benchmark

Published:2024 Issue: Volume: Page:149-158
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:en
Short-container-title:

Author:

Carbone Marco^ORCID,Castro-Perez David^ORCID,Ferreira Francisco^ORCID,Gheri Lorenzo^ORCID,Jacobsen Frederik Krogsdal^ORCID,Momigliano Alberto^ORCID,Padovani Luca^ORCID,Scalas Alceste^ORCID,Tirore Dawit^ORCID,Vassor Martin^ORCID,Yoshida Nobuko^ORCID,Zackon Daniel^ORCID

Publisher

Springer Nature Switzerland

Link

https://link.springer.com/content/pdf/10.1007/978-3-031-62697-5_9

Reference51 articles.

1. Abel, A., et al.: POPLMark reloaded: mechanizing proofs by logical relations. J. Funct. Program. 29, 19 (2019). https://doi.org/10.1017/S0956796819000170

2. Abel, A., Pientka, B., Thibodeau, D., Setzer, A.: Copatterns: programming infinite structures by observations. In: POPL 2013: Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 27–38. ACM, New York (2013). https://doi.org/10.1145/2429069.2429075

3. Ambal, G., Lenglet, S., Schmitt, A.: HO$$\pi $$ in Coq. J. Autom. Reason. 65(1), 75–124 (2021). https://doi.org/10.1007/S10817-020-09553-0

4. Lecture Notes in Computer Science;BE Aydemir,2005

5. Bengtson, J., Johansson, M., Parrow, J., Victor, B.: Psi-calculi: a framework for mobile processes with nominal data and logic. Log. Methods Comput. Sci. 7 (2011). https://doi.org/10.2168/LMCS-7(1:11)2011

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Beluga Formalization of the Harmony Lemma in the π-Calculus;Electronic Proceedings in Theoretical Computer Science;2024-07-08