Stefano Kasangian

16 papers B 2Journal 7Unranked 7
YearRankTypeTitle / Venue / Authors
2020 — conf
Compositional Modeling of Biological Systems in CospanSpan(Graph).
ICTCS
Alessandro Gianola, Stefano Kasangian, Desiree Manicardi, Nicoletta Sabadini, Simone Tini
2020 J jnl
CospanSpan(Graph): a Compositional Description of the Heart System.
Fundam. Informaticae
Alessandro Gianola, Stefano Kasangian, Desiree Manicardi, Nicoletta Sabadini, Filippo Schiavio, Simone Tini
2019 — conf
Modal Epistemic Logic on Contracts: A Doctrinal Approach.
Models, Languages, and Tools for Concurrent and Distributed Programming
Paolo Bottoni, Daniele Gorla, Stefano Kasangian, Anna Labella
2018 J jnl
A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes.
Math. Struct. Comput. Sci.
Paolo Bottoni, Daniele Gorla, Stefano Kasangian, Anna Labella
2017 B conf
Cospan/Span(Graph): an Algebra for Open, Reconfigurable Automata Networks.
CALCO
Alessandro Gianola, Stefano Kasangian, Nicoletta Sabadini
2012 J jnl
Spatial and temporal aspects in visual interaction.
J. Vis. Lang. Comput.
Paolo Bottoni, Anna Labella, Stefano Kasangian
2011 J jnl
Generalising Conduché's Theorem.
Appl. Categorical Struct.
Stefano Kasangian, Anna Labella, Andrea Montoli
2010 — conf
A Relational Model of Incomplete Data without NULLs.
CATS
Michael Johnson, Stefano Kasangian
1999 J jnl
Observational trees as models for concurrency.
Math. Struct. Comput. Sci.
Stefano Kasangian, Anna Labella
1997 J jnl
The Topos of Labelled Trees: A Categorical Semantics for SCCS.
Fundam. Informaticae
Stefano Kasangian, Sebastiano Vigna
1996 J jnl
Process synchronisation as fusion.
Appl. Categorical Struct.
Stefano Kasangian, Anna Labella, David Murphy
1991 — conf
Applications of the Calculus of Trees to Process Description Languages.
Category Theory and Computer Science
Pierpaolo Degano, Stefano Kasangian, Sebastiano Vigna
1991 — conf
Introducing a Calculus of Trees.
TAPSOFT, Vol.1
Stefano Kasangian, Sebastiano Vigna
1991 B conf
On Continuous Time Agents.
MFPS
Stefano Kasangian, Anna Labella
1990 — conf
Observers, Experiments and Agents: a Comprehensive Approach to Parallelism.
Semantics of Systems of Concurrent Processes
Stefano Kasangian, Anna Labella, Alberto Pettorossi
1987 — conf
Enriched Categories for Local and Interaction Calculi.
Category Theory and Computer Science
Stefano Kasangian, Anna Labella, Alberto Pettorossi