Gian Luca Cattani

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

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


  Loading...