| 2004 |
|---|
| 7 | EE | Piergiulio Katis,
Nicoletta Sabadini,
Robert F. C. Walters:
Compositional Minimization in Span(Graph): Some Examples.
Electr. Notes Theor. Comput. Sci. 104: 181-197 (2004) |
| 2002 |
|---|
| 6 | EE | Piergiulio Katis,
Nicoletta Sabadini,
Robert F. C. Walters:
Feedback, trace and fixed-point semantics.
ITA 36(2): 181-194 (2002) |
| 2001 |
|---|
| 5 | EE | Fabio Gadducci,
Piergiulio Katis,
Ugo Montanari,
Nicoletta Sabadini,
Robert F. C. Walters:
Comparing cospan-spans and tiles via a Hoare-style process calculus.
Electr. Notes Theor. Comput. Sci. 62: (2001) |
| 2000 |
|---|
| 4 | EE | Piergiulio Katis,
Nicoletta Sabadini,
Robert F. C. Walters:
A Formalization of the IWIM Model.
COORDINATION 2000: 267-283 |
| 3 | EE | R. Gates,
Piergiulio Katis,
Nicoletta Sabadini,
Robert F. C. Walters:
On Automata with Boundary
CoRR cs.DC/0002008: (2000) |
| 1997 |
|---|
| 2 | | Piergiulio Katis,
Nicoletta Sabadini,
Robert F. C. Walters:
Span(Graph): A Categorial Algebra of Transition Systems.
AMAST 1997: 307-321 |
| 1 | | Piergiulio Katis,
Nicoletta Sabadini,
Robert F. C. Walters:
Representing Place/Transition Nets in Span(Graph).
AMAST 1997: 322-336 |
