Piergiulio Katis

According to our database, Piergiulio Katis authored at least 7 papers between 1997 and 2003.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2003

Compositional Minimization in Span(Graph): Some Examples.

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

Proceedings of the Workshop of the COMETA Project on Computational Metamodels, 2003

2002

Feedback, trace and fixed-point semantics.

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

RAIRO Theor. Informatics Appl., 2002

2001

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

Fabio Gadducci, Piergiulio Katis, Ugo Montanari, Nicoletta Sabadini, Robert F. C. Walters

Proceedings of the Theory of Concurrency, Higher Order Languages and Types, 2001

2000

On Automata with Boundary

R. Gates, Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters

CoRR, 2000

A Formalization of the IWIM Model.

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

Proceedings of the Coordination Languages and Models, 4th International Conference, 2000

1997

Representing Place/Transition Nets in Span(Graph).

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

Proceedings of the Algebraic Methodology and Software Technology, 1997

Span(Graph): A Categorial Algebra of Transition Systems.

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

Proceedings of the Algebraic Methodology and Software Technology, 1997