| Profunctors, open maps and bisimulation GL Cattani, G Winskel Mathematical Structures in Computer Science 15 (3), 553-614, 2005 | 106 | 2005 |
| Presheaf models for concurrency GL Cattani, G Winskel International Workshop on Computer Science Logic, 58-75, 1996 | 94 | 1996 |
| Higher dimensional transition systems GL Cattani, V Sassone Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, 55-62, 1996 | 86 | 1996 |
| Presheaf models for the π-calculus GL Cattani, I Stark, G Winskel International Conference on Category Theory and Computer Science, 106-126, 1997 | 81 | 1997 |
| Weak bisimulation and open maps M Fiore, GL Cattani, G Winskel Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999 | 54 | 1999 |
| A theory of recursive domains with applications to concurrency GL Cattani, M Fiore, G Winskel Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science …, 1998 | 42 | 1998 |
| Models for name-passing processes: Interleaving and causal GL Cattani, P Sewell Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science …, 2000 | 40 | 2000 |
| Models for name-passing processes: interleaving and causal GL Cattani, P Sewell Information and Computation 190 (2), 136-178, 2004 | 28 | 2004 |
| A representation result for free cocompletions AJ Power, GL Cattani, G Winskel Journal of Pure and Applied Algebra 151 (3), 273-286, 2000 | 21 | 2000 |
| Contexts and Embeddings for closed shallow action graphs. University of Cambridge Computer Laboratory GL Cattani, JJ Leifer, R Milner Technical Report 496.[Submitted for publication.] Available at http …, 2000 | 20 | 2000 |
| A categorical axiomatics for bisimulation GL Cattani, J Power, G Winskel CONCUR'98 Concurrency Theory: 9th International Conference Nice, France …, 1998 | 14 | 1998 |
| Contexts and embeddings for closed shallow action graphs GL Cattani, JJ Leifer, R Milner University of Cambridge, Computer Laboratory, 2000 | 12 | 2000 |
| Presheaf models for CCS-like languages GL Cattani, G Winskel Theoretical Computer Science 300 (1-3), 47-89, 2003 | 11 | 2003 |
| Contexts and embeddings for a class of action graphs GL Cattani, JJ Leifer, R Milner Tech. rept. 496. Computer Laboratory, University of Cambridge, 2000 | 6 | 2000 |
| The bicategory-theoretic solution of recursive domain equations GL Cattani, MP Fiore Electronic Notes in Theoretical Computer Science 172, 203-222, 2007 | 5 | 2007 |
| : Higher dimentional transition systems, Proc. LICS'96 GL Cattani, V Sassone | 5 | 1996 |
| Weak bisimulation and open maps GL Cattani, M Fiore, G Winskel Proc. LICS’99 447, 1999 | 4 | 1999 |
| Presheaf models for CCS-like languages GL Cattani, G Winskel University of Cambridge, Computer Laboratory, 1999 | 4 | 1999 |
| Expert System TT Hildebrandt, GL Cattani The International Encyclopedia of Communication Theory and Philosophy, 2016 | 2* | 2016 |
| Contexts and embeddings for closed shallow action graphs: Technical Report 496 R Milner, GL Cattani, JJ Leifer | 2 | 2000 |
Glynn WinskelUniversity of Cambridge在 cl.cam.ac.uk 的电子邮件经过验证
