Search the dblp DataBase
Stefano Kasangian: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Pierpaolo Degano, Stefano Kasangian, Sebastiano Vigna
Applications of the Calculus of Trees to Process Description Languages. [Citation Graph (0, 0)][DBLP]
Category Theory and Computer Science, 1991, pp:282-301 [Conf] - Stefano Kasangian, Anna Labella, Alberto Pettorossi
Enriched Categories for Local and Interaction Calculi. [Citation Graph (0, 0)][DBLP]
Category Theory and Computer Science, 1987, pp:57-70 [Conf] - Stefano Kasangian, Anna Labella, Alberto Pettorossi
Observers, Experiments and Agents: a Comprehensive Approach to Parallelism. [Citation Graph (0, 0)][DBLP]
Semantics of Systems of Concurrent Processes, 1990, pp:375-406 [Conf] - Stefano Kasangian, Anna Labella
On Continuous Time Agents. [Citation Graph (0, 0)][DBLP]
MFPS, 1991, pp:403-425 [Conf] - Stefano Kasangian, Sebastiano Vigna
Introducing a Calculus of Trees. [Citation Graph (0, 0)][DBLP]
TAPSOFT, Vol.1, 1991, pp:215-240 [Conf] - Stefano Kasangian, Sebastiano Vigna
The Topos of Labelled Trees: A Categorical Semantics for SCCS. [Citation Graph (0, 0)][DBLP]
Fundam. Inform., 1997, v:32, n:1, pp:27-45 [Journal] - Stefano Kasangian, Anna Labella
Observational trees as models for concurrency. [Citation Graph (0, 0)][DBLP]
Mathematical Structures in Computer Science, 1999, v:9, n:6, pp:687-718 [Journal]
Search in 0.001secs, Finished in 0.002secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002