Gian Luca Cattani

According to our database, Gian Luca Cattani authored at least 11 papers between 1996 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Preface.

Gian Luca Cattani, Thomas T. Hildebrandt, Daniele Varacca

Theor. Comput. Sci., 2014

2007

The Bicategory-Theoretic Solution of Recursive Domain Equations.

Gian Luca Cattani, Marcelo P. Fiore

Proceedings of the Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin, 2007

2005

Profunctors, open maps and bisimulation.

Gian Luca Cattani, Glynn Winskel

Math. Struct. Comput. Sci., 2005

2004

Models for name-passing processes: interleaving and causal.

Gian Luca Cattani, Peter Sewell

Inf. Comput., 2004

2003

Presheaf models for CCS-like languages.

Gian Luca Cattani, Glynn Winskel

Theor. Comput. Sci., 2003

1999

Weak Bisimulation and Open Maps.

Marcelo P. Fiore, Gian Luca Cattani, Glynn Winskel

Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, 1999

1998

A Theory of Recursive Domains with Applications to Concurrency.

Gian Luca Cattani, Marcelo P. Fiore, Glynn Winskel

Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998

A Categorical Axiomatics for Bisimulation.

Gian Luca Cattani, John Power, Glynn Winskel

Proceedings of the CONCUR '98: Concurrency Theory, 1998

1997

Presheaf Models for the pi-Calculus.

Gian Luca Cattani, Ian Stark, Glynn Winskel

Proceedings of the Category Theory and Computer Science, 7th International Conference, 1997

1996

Higher Dimensional Transition Systems.

Gian Luca Cattani, Vladimiro Sassone

Proceedings of the Proceedings, 1996

Presheaf Models for Concurrency.

Gian Luca Cattani, Glynn Winskel

Proceedings of the Computer Science Logic, 10th International Workshop, 1996