Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Abramsky, S., On semantic foundations of applicative multiprogramming. Proc. ICALP'83, Barcelona, LNCS 154, 1983.
2. Adamek, J., and Rosicky J., Locally presentable and accessible categories. LMS Lecture Notes Series 189, 1994.
3. Borceux, F., Handbook of categorical logic, 1. Cambridge University Press, 1994.
4. Cattani, G.L., and Winskel, G., Presheaf models for concurrency. Manuscript, 1996.
5. Fiore, M., Moggi, E., and Sangiori, D., A fully abstract model for the Pi-calculus. Proc. of LICS'96.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Modeling interaction by sheaves and geometric logic;Fundamentals of Computation Theory;1999
2. Event Structures as Presheaves—Two Representation Theorems;CONCUR’99 Concurrency Theory;1999
3. Reasoning about the past;Mathematical Foundations of Computer Science 1998;1998
4. Petri nets and other models of concurrency;Lectures on Petri Nets I: Basic Models;1998
5. Presheaf models for the π-calculus;Category Theory and Computer Science;1997