# Gian Luca Cattani

According to our database

Collaborative distances:

^{1}, Gian Luca Cattani authored at least 12 papers between 1996 and 2014.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2014

Preface.

Theor. Comput. Sci., 2014

2007

The Bicategory-Theoretic Solution of Recursive Domain Equations.

Electr. Notes Theor. Comput. Sci., 2007

2005

Profunctors, open maps and bisimulation.

Mathematical Structures in Computer Science, 2005

2004

Models for name-passing processes: interleaving and causal.

Inf. Comput., 2004

2003

Presheaf models for CCS-like languages.

Theor. Comput. Sci., 2003

2000

Models for Name-Passing Processes: Interleaving and Causal.

Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, 2000

1999

Weak Bisimulation and Open Maps.

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

1998

A Theory of Recursive Domains with Applications to Concurrency.

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

A Categorical Axiomatics for Bisimulation.

Proceedings of the CONCUR '98: Concurrency Theory, 1998

1997

Presheaf Models for the pi-Calculus.

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

1996

Higher Dimensional Transition Systems.

Proceedings of the Proceedings, 1996

Presheaf Models for Concurrency.

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