Jean-Sébastien Bolduc

Meeting Logs
Ph.D. Student
Modelling, Simulation and Design Lab
School of Computer Science
McGill University
Montréal, Québec, Canada

McConnell Engineering Building, room 202
phone: +1 (514) 398-7071 ext.0364

Bienvenue, Welcome to my work page.

You will find here some information about my work here at MSDL.

This page is hopelessly out of date. Nevertheless, here are some useful references on Time Labelled Transition Systems (TLTS):

  • Y. Wang, Real-time behaviour of asynchronous agents. In Proc. of the Conference on Theories of Concurrency: Unification and Extension (CONCUR'90), Springer-Verlag, vol.458 of Lecture Notes in Computer Science, pages 502--520, 1990.
  • F. Moller and C. Tofts, A temporal calculus of communicating systems. LFCS Report Series ECS-LRCS-89-194, Laboratory for Foundations of Computer Science, University of Edinburgh, 1989.
  • L. Aceto, A. Burgueño and K.G. Larsen, Model Checking via Reachability Testing for Timed Automata. BRICS Report Series RS-97-29, Department of Computer Science, University of Aarhus, 1997.
  • A. Jeffrey, S. Schneider and F. Vaandrager, A Comparison of Additivity Axioms in Timed Transition Systems. Computer Science Technical Report 11/93, University of Sussex, 1993.

last modified: 02/23/05