Publication Search Results

Matches for:

• Author=Katis P

1. Katis P, Sabadini N, Walters RFC. Feedback, trace and fixed-point semantics, Theoretical Informatics and Applications, 36 (2002), 181–194. 2003k:68071

2. Katis P, Walters RFC. The compact closed bicategory of left adjoints, Mathematical Proceedings of the Cambridge Philosophical Society, 130 (2001), 77–87. 2001i:18014

3. Katis P, Sabadini N, Walters RFC. On the algebra of feedback and systems with boundary, Rendiconti del Circolo Matematico di Palermo. (2) Supplemento, 64 (2000), 123–156. 2002h:93003

4. Katis P, Sabadini N, Walters RFC. Bicategories of processes, Journal of Pure and Applied Algebra, 115 (1997), 141–178. 97m:18010

5. Katis P, Sabadini N, Walters RFC. Span(Graph): A categorical algebra of transition systems, Algebraic Methodology and Software Technology, AMAST '97, Michael Johnson (ed.), Lecture Notes in Computer Science, Springer, Germany, (1997), 307–321. ISBN 3-540-63888-1

6. Katis P, Sabadini N, Walters RFC. Representing place/transition nets in Span(Graph), Algebraic Methodology and Software Technology, AMAST '97, Michael Johnson (ed.), Lecture Notes in Computer Science, Springer, Germany, (1997), 322–336. ISBN 3-540-63888-1

7. Katis P, Sabadini N, Walters RFC. The bicategory of circuits, Computing: Australian Theory Seminar, UTS, Sydney, 1994, (1994), MR1382445