×

zbMATH — the first resource for mathematics

Cattani, Gian Luca

Compute Distance To:
Author ID: cattani.gian-luca Recent zbMATH articles by "Cattani, Gian Luca"
Published as: Cattani, Gian Luca
Documents Indexed: 10 Publications since 1997

Publications by Year

Citations contained in zbMATH Open

8 Publications have been cited 67 times in 51 Documents Cited by Year
Profunctors, open maps and bisimulation. Zbl 1169.68537
Cattani, Gian Luca; Winskel, Glynn
15
2005
Models for name-passing processes: Interleaving and causal. Zbl 1101.68693
Cattani, Gian Luca; Sewell, Peter
15
2004
Presheaf models for concurrency. Zbl 0881.18013
Cattani, Gian Luca; Winskel, Glynn
12
1997
Presheaf models for the \(\pi\)-calculus. Zbl 0884.68078
Cattani, Gian Luca; Stark, Ian; Winskel, Glynn
11
1997
A categorical axiomatics for bisimulation. Zbl 0930.18002
Cattani, Gian Luca; Power, John; Winskel, Glynn
5
1998
Presheaf models for CCS-like languages. Zbl 1028.68084
Cattani, Gian Luca; Winskel, Glynn
4
2003
A theory of recursive domains with applications to concurrency. (Extended abstract). Zbl 0945.68521
Cattani, Gian Luca; Fiore, Marcelo; Winskel, Glynn
3
1998
A representation result for free cocompletions. Zbl 0971.18007
Power, A. John; Cattani, Gian Luca; Winskel, Glynn
2
2000
Profunctors, open maps and bisimulation. Zbl 1169.68537
Cattani, Gian Luca; Winskel, Glynn
15
2005
Models for name-passing processes: Interleaving and causal. Zbl 1101.68693
Cattani, Gian Luca; Sewell, Peter
15
2004
Presheaf models for CCS-like languages. Zbl 1028.68084
Cattani, Gian Luca; Winskel, Glynn
4
2003
A representation result for free cocompletions. Zbl 0971.18007
Power, A. John; Cattani, Gian Luca; Winskel, Glynn
2
2000
A categorical axiomatics for bisimulation. Zbl 0930.18002
Cattani, Gian Luca; Power, John; Winskel, Glynn
5
1998
A theory of recursive domains with applications to concurrency. (Extended abstract). Zbl 0945.68521
Cattani, Gian Luca; Fiore, Marcelo; Winskel, Glynn
3
1998
Presheaf models for concurrency. Zbl 0881.18013
Cattani, Gian Luca; Winskel, Glynn
12
1997
Presheaf models for the \(\pi\)-calculus. Zbl 0884.68078
Cattani, Gian Luca; Stark, Ian; Winskel, Glynn
11
1997

Citations by Year