Piergiulio Katis

Publication Activity (10 Years)

Years Active: 1997-2004
Publications (10 Years): 0

Publications

Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters
Compositional Minimization in Span(Graph): Some Examples. Electron. Notes Theor. Comput. Sci. 104 (2004)
Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters
Feedback, trace and fixed-point semantics. RAIRO Theor. Informatics Appl. 36 (2) (2002)
Fabio Gadducci, Piergiulio Katis, Ugo Montanari, Nicoletta Sabadini, Robert F. C. Walters
Comparing cospan-spans and tiles via a Hoare-style process calculus. Electron. Notes Theor. Comput. Sci. 62 (2001)
Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters
A Formalization of the IWIM Model. COORDINATION (2000)
R. Gates, Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters
On Automata with Boundary CoRR (2000)
Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters
Span(Graph): A Categorial Algebra of Transition Systems. AMAST (1997)
Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters
Representing Place/Transition Nets in Span(Graph). AMAST (1997)