Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Worrell, James - Computing Laboratory, University of Oxford
Electronic Notes in Theoretical Computer Science 65 No. 1 (2003) URL: http://www.elsevier.nl/locate/entcs/volume65.html 19 pages
The Cost of Punctuality Patricia Bouyer1,2
Alternating Timed Automata over Bounded Time Mark Jenkins
Decidability and Complexity Results for Timed Automata via Channel Machines
Duality for Labelled Markov Processes Michael Mislove 1 , Joel Ouaknine 2 , Dusko Pavlovic 3 and James Worrell 1
Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems
Electronic Notes in Theoretical Computer Science 65 No. 1 (2003) URL: http://www.elsevier.nl/locate/entcs/volume65.html 10 pages
Measuring the Probabilistic Powerdomain Keye Martin a;1 , Michael Mislove b;1;2 , James Worrell b;1;2
On Metric Temporal Logic and Faulty Turing Machines
On the Decidability of Metric Temporal Logic Joel Ouaknine
Revisiting Digitization, Robustness, and Decidability for Timed Automata Joel Ouaknine
Labelled Markov Processes as Generalised Stochastic Relations
Logical Methods in Computer Science Volume 00, Number 0, Pages 000000
Time-Bounded Verification Joel Ouaknine1
Decidability JamesWorrell
