Australian Category Seminar
Talks by Giulio Katis
- On the algebra of systems governed by the continuity equation (14/10/98)
- An algebra for systems governed by differential and integral equations (1/7/98)
- On accounting and quantities distributed over space and time (29/4/98)
- Compositional verification of distributed algorithms (25/2/98)
- Distributed algorithms II (26/11/97)
- Distributed Algorithms I (19/11/97)
- Categories with feedback: some examples (2/7/97)
- Categories with feedback (18/6/97)
-
An algebra for constructing Petri nets as transition systems (23/4/97)
- On concurrent impertaive programming (26/2/97)
- Bicategories and abstract specifications of concurrent systems (22/1/97)
- Graphic toposes (27/11/96)
- On Bivariant Theories and Extensive Categories (18/9/96)
- On bivariant theories (4/9/96)
Giulio Katis' email address.
Back to Australian Category Seminar page.
Steve Lack
Last modified: Mon Aug 27 09:57:05 EST 2001
|
