Piergiulio Katis

Span(Graph): A Categorial Algebra of Transition Systems

Nicoletta Sabadini, Robert F. C. Walters, Piergiulio Katis, 1997, AMAST.

A Formalization of the IWIM Model

Nicoletta Sabadini, Robert F. C. Walters, Piergiulio Katis, 2000, COORDINATION.

Compositional Minimization in Span(Graph): Some Examples

Nicoletta Sabadini, Robert F. C. Walters, Piergiulio Katis, 2004, Electron. Notes Theor. Comput. Sci..

MODELS OF CONTINUOUS AND DISCRETE DYNAMICAL SYSTEMS

Nicoletta Sabadini, Piergiulio Katis, R. F. C. Walters, 1998 .

Feedback, trace and fixed-point semantics

Nicoletta Sabadini, Robert F. C. Walters, Piergiulio Katis, 2002, RAIRO Theor. Informatics Appl..

Representing Place/Transition Nets in Span(Graph)

Nicoletta Sabadini, Robert F. C. Walters, Piergiulio Katis, 1997, AMAST.

Comparing cospan-spans and tiles via a Hoare-style process calculus

Fabio Gadducci, Ugo Montanari, Nicoletta Sabadini, 2001, Electron. Notes Theor. Comput. Sci..

On Automata with Boundary

Nicoletta Sabadini, Robert F. C. Walters, Piergiulio Katis, 2000, ArXiv.

Bicategories of processes

Nicoletta Sabadini, Piergiulio Katis, R. F. C. Walters, 1997 .