Author:
Cattani Gian Luca,Stark Ian,Winskel Glynn
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Francis Borceux. Handbook of Categorical Algebra, vol. 1, volume 50 of Encyclopedia of Mathematics and its Applications. Cambridge University Press, 1994.
2. Rapport de recherche 1702;G. Boudol,1992
3. Gian Luca Cattani and Glynn Winskel. Presheaf models for concurrency. In Computer Science Logic 1996, To appear in Lecture Notes in Computer Science. Springer-Verlag, 1997. A preliminary version appeared as BRIGS Report RS-96-35.
4. Brian J. Day. On closed categories of functors. In Reports of the Midwest Category Seminar IV, Lecture Notes in Mathematics 137, pages 1–38. Springer Verlag, 1970.
5. Marcelo Fiore, Eugenio Moggi, and Davide Sangiorgi. A fully-abstract model for the π-calculus. In (LICS 1996).
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formalizing CCS and π-calculus in Guarded Cubical Agda;Journal of Logical and Algebraic Methods in Programming;2023-02
2. Introduction;Formal Analysis by Abstract Interpretation;2021-12-14
3. Formalizing -calculus in guarded cubical Agda;Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs;2020-01-20
4. Bisimilarity of Diagrams;Relational and Algebraic Methods in Computer Science;2020
5. Spatio-Temporal Domains: An Overview;Theoretical Aspects of Computing – ICTAC 2018;2018