| 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 |
