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