Stefano Kasangian

According to our database, Stefano Kasangian authored at least 16 papers between 1987 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Compositional Modeling of Biological Systems in CospanSpan(Graph).

Alessandro Gianola, Stefano Kasangian, Desiree Manicardi, Nicoletta Sabadini, Simone Tini

Proceedings of the 21st Italian Conference on Theoretical Computer Science, 2020

2019

Modal Epistemic Logic on Contracts: A Doctrinal Approach.

Paolo Bottoni, Daniele Gorla, Stefano Kasangian, Anna Labella

Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019

2018

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

2017

Cospan/Span(Graph): an Algebra for Open, Reconfigurable Automata Networks.

Alessandro Gianola, Stefano Kasangian, Nicoletta Sabadini

Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017

2012

Spatial and temporal aspects in visual interaction.

Paolo Bottoni, Anna Labella, Stefano Kasangian

J. Vis. Lang. Comput., 2012

2011

Generalising Conduché's Theorem.

Stefano Kasangian, Anna Labella, Andrea Montoli

Appl. Categorical Struct., 2011

2010

A Relational Model of Incomplete Data without NULLs.

Michael Johnson, Stefano Kasangian

Proceedings of the Theory of Computing 2010, 2010

1999

Observational trees as models for concurrency.

Stefano Kasangian, Anna Labella

Math. Struct. Comput. Sci., 1999

1997

The Topos of Labelled Trees: A Categorical Semantics for SCCS.

Stefano Kasangian, Sebastiano Vigna

Fundam. Informaticae, 1997

1996

Process synchronisation as fusion.

Stefano Kasangian, Anna Labella, David Murphy

Appl. Categorical Struct., 1996

1991

Introducing a Calculus of Trees.

Stefano Kasangian, Sebastiano Vigna

Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

On Continuous Time Agents.

Stefano Kasangian, Anna Labella

Proceedings of the Mathematical Foundations of Programming Semantics, 1991

Applications of the Calculus of Trees to Process Description Languages.

Pierpaolo Degano, Stefano Kasangian, Sebastiano Vigna

Proceedings of the Category Theory and Computer Science, 1991

1990

Observers, Experiments and Agents: a Comprehensive Approach to Parallelism.

Stefano Kasangian, Anna Labella, Alberto Pettorossi

Proceedings of the Semantics of Systems of Concurrent Processes, 1990

1987

Enriched Categories for Local and Interaction Calculi.

Stefano Kasangian, Anna Labella, Alberto Pettorossi

Proceedings of the Category Theory and Computer Science, 1987