2001 | ||
---|---|---|
8 | Jeremy Gunawardena: Homotopy and Concurrency. Current Trends in Theoretical Computer Science 2001: 447-459 | |
1997 | ||
7 | Jeremy Gunawardena: Recent Developments in the Mathematics of Reactive Systems (Extended Abstract). CONCUR 1997: 1-4 | |
1994 | ||
6 | Jeremy Gunawardena: A Dynamic Approach to Timed Behaviour. CONCUR 1994: 178-193 | |
5 | Jeremy Gunawardena: Homotopy and Concurrency. Bulletin of the EATCS 54: 184-193 (1994) | |
1993 | ||
4 | Jeremy Gunawardena: A Generalized Event Structure for the Muller Unfolding of a Safe Net. CONCUR 1993: 278-292 | |
1992 | ||
3 | Jeremy Gunawardena: Causal automata. Theor. Comput. Sci. 101(2): 265-288 (1992) | |
1991 | ||
2 | Jeremy Gunawardena: Geometric Logic, Causality and Event Structures. CONCUR 1991: 266-280 | |
1989 | ||
1 | Jeremy Gunawardena: Deducing Causal Relationships in CCS. FSTTCS 1989: 161-170 |