Enriched Categories for Local and Interaction Calculi. - Stefano Kasangian; Anna Labella; Alberto Pettorossi (Category Theory and Computer Science, 1987)

Observers, Experiments and Agents: a Comprehensive Approach to Parallelism. - Stefano Kasangian; Anna Labella; Alberto Pettorossi (Semantics of Systems of Concurrent Processes, 1990)

Applications of the Calculus of Trees to Process Description Languages. - Pierpaolo Degano; Stefano Kasangian; Sebastiano Vigna (Category Theory and Computer Science, 1991)

On Continuous Time Agents. - Stefano Kasangian; Anna Labella (MFPS, 1991)

Introducing a Calculus of Trees. - Stefano Kasangian; Sebastiano Vigna (TAPSOFT, Vol.1, 1991)

Process synchronisation as fusion. - Stefano Kasangian; Anna Labella; David Murphy (Appl. Categorical Struct., 1996)

The Topos of Labelled Trees: A Categorical Semantics for SCCS. - Stefano Kasangian; Sebastiano Vigna (Fundam. Informaticae, 1997)

Observational trees as models for concurrency. - Stefano Kasangian; Anna Labella (Math. Struct. Comput. Sci., 1999)

A Relational Model of Incomplete Data without NULLs. - Michael Johnson; Stefano Kasangian (CATS, 2010)

Generalising Conduché's Theorem. - Stefano Kasangian; Anna Labella; Andrea Montoli (Appl. Categorical Struct., 2011)

Spatial and temporal aspects in visual interaction. - Paolo Bottoni; Anna Labella; Stefano Kasangian (J. Vis. Lang. Comput., 2012)

Cospan/Span(Graph): an Algebra for Open, Reconfigurable Automata Networks. - Alessandro Gianola; Stefano Kasangian; Nicoletta Sabadini (CALCO, 2017)

A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes. - Paolo Bottoni; Daniele Gorla; Stefano Kasangian; Anna Labella (Math. Struct. Comput. Sci., 2018)

Modal Epistemic Logic on Contracts: A Doctrinal Approach. - Paolo Bottoni; Daniele Gorla; Stefano Kasangian; Anna Labella (Models, Languages, and Tools for Concurrent and Distributed Programming, 2019)

Compositional Modeling of Biological Systems in CospanSpan(Graph). - Alessandro Gianola; Stefano Kasangian; Desiree Manicardi; Nicoletta Sabadini; Simone Tini (ICTCS, 2020)

CospanSpan(Graph): a Compositional Description of the Heart System. - Alessandro Gianola; Stefano Kasangian; Desiree Manicardi; Nicoletta Sabadini; Filippo Schiavio; Simone Tini (Fundam. Informaticae, 2020)