RFC Walters (with R. Rosebrugh, N. Sabadini) Università dell’ Insubria, Como, Italy CT2007, Faro, Portugal Calculating limits and colimits compositionally.
Systems on graphs Spans, graphs and concurrency RFC Walters CT 2008 Calais 23rd June 2008