Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Fiore, M.
Cattani, G.L.
and
Winskel, G.
1999.
Weak bisimulation and open maps.
p.
67.
Bujorianu, Marius C.
Bujorianu, Manuela L.
and
Langerak, Rom
2008.
An Interpretation of Concurrent Hybrid Time Systems over Multi-clock Systems.
IFAC Proceedings Volumes,
Vol. 41,
Issue. 2,
p.
3635.
Kasangian, Stefano
and
Labella, Anna
2010.
Conduché property and Tree-based categories.
Journal of Pure and Applied Algebra,
Vol. 214,
Issue. 3,
p.
221.
DE NICOLA, ROCCO
GORLA, DANIELE
and
LABELLA, ANNA
2010.
Tree-functors, determinacy and bisimulations.
Mathematical Structures in Computer Science,
Vol. 20,
Issue. 3,
p.
319.
Kasangian, Stefano
Labella, Anna
and
Montoli, Andrea
2011.
Generalising Conduché’s Theorem.
Applied Categorical Structures,
Vol. 19,
Issue. 1,
p.
277.
Schultz, Patrick
and
Spivak, David I.
2019.
Temporal Type Theory.
Vol. 29,
Issue. ,
p.
1.
Schultz, Patrick
and
Spivak, David I.
2019.
Temporal Type Theory.
Vol. 29,
Issue. ,
p.
39.
Schultz, Patrick
Spivak, David I.
and
Vasilakopoulou, Christina
2020.
Dynamical Systems and Sheaves.
Applied Categorical Structures,
Vol. 28,
Issue. 1,
p.
1.
Baez, John C.
Courser, Kenny
and
Vasilakopoulou, Christina
2022.
Structured versus Decorated Cospans.
Compositionality,
Vol. 4,
Issue. ,
p.
3.
Hackney, Philip
and
Kock, Joachim
2024.
Free decomposition spaces.
Collectanea Mathematica,