Giulio Katis
Here is a list of talks given by Giulio Katis at the Australian Category Seminar. Click on the title of a talk for an abstract.
- On the algebra of systems governed by the continuity equation – 14 October 1998
- An algebra for systems governed by differential and integral equations – 1 July 1998
- On accounting and quantities distributed over space and time – 29 April 1998
- Compositional verification of distributed algorithms – 25 February 1998
- Distributed algorithms II – 26 November 1997
- Distributed Algorithms I – 19 November 1997
- Categories with feedback: some examples – 2 July 1997
- Categories with feedback – 18 June 1997
- An algebra for constructing Petri nets as transition systems – 23 April 1997
- On concurrent impertaive programming – 26 February 1997
- Bicategories and abstract specifications of concurrent systems – 22 January 1997
- Graphic toposes – 27 November 1996
- On Bivariant theories and extensive categories – 18 September 1996
- On bivariant theories – 4 September 1996