ACSD-01 Int. Conference on Application of Concurrency to System Design, Newcastle, UK, June 2001. With Tadao Murata from University of Chicago, USA.
ACSD-01 Int. Conference on Application of Concurrency to System Design, Newcastle, UK, June 2001. During conference dinner.
ACSD-01 Int. Conference on Application of Concurrency to System Design, Newcastle, UK, June 2001. With Antti Valmari from Tampere University of Technology, Finland.
ATPN-99 Int. Conference on Application and Theory of Petri Nets, Williamsburg, USA, June 1999. With Walter Vogler from University of Ausburg, Germany.