 | 2012 |
|---|
| 9 |       | Paolo Bottoni,
Anna Labella,
Stefano Kasangian:
Spatial and temporal aspects in visual interaction.
J. Vis. Lang. Comput. 23(2): 91-102 (2012) |
| 2011 |
|---|
| 8 | | Stefano Kasangian,
Anna Labella,
Andrea Montoli:
Generalising Conduché's Theorem.
Applied Categorical Structures 19(1): 277-292 (2011) |
| 1999 |
|---|
| 7 | | Stefano Kasangian,
Anna Labella:
Observational trees as models for concurrency.
Mathematical Structures in Computer Science 9(6): 687-718 (1999) |
| 1997 |
|---|
| 6 | | Stefano Kasangian,
Sebastiano Vigna:
The Topos of Labelled Trees: A Categorical Semantics for SCCS.
Fundam. Inform. 32(1): 27-45 (1997) |
| 1991 |
|---|
| 5 | | Pierpaolo Degano,
Stefano Kasangian,
Sebastiano Vigna:
Applications of the Calculus of Trees to Process Description Languages.
Category Theory and Computer Science 1991: 282-301 |
| 4 | | Stefano Kasangian,
Anna Labella:
On Continuous Time Agents.
MFPS 1991: 403-425 |
| 3 | | Stefano Kasangian,
Sebastiano Vigna:
Introducing a Calculus of Trees.
TAPSOFT, Vol.1 1991: 215-240 |
| 1990 |
|---|
| 2 | | Stefano Kasangian,
Anna Labella,
Alberto Pettorossi:
Observers, Experiments and Agents: a Comprehensive Approach to Parallelism.
Semantics of Systems of Concurrent Processes 1990: 375-406 |
| 1987 |
|---|
| 1 | | Stefano Kasangian,
Anna Labella,
Alberto Pettorossi:
Enriched Categories for Local and Interaction Calculi.
Category Theory and Computer Science 1987: 57-70 |
Data released under the ODC-BY 1.0 license — See also our legal information page