Volume 139,
Number 1,
4 November 2005
Proceedings of ARTS 2004,
the 6th AMAST Workshop on Real-Time Systems (ARTS 2004)
- Irek Ulidowski:
Preface.
1-2
Electronic Edition (link) BibTeX
- Alastair F. Donaldson, Alice Miller, Muffy Calder:
Spin-to-Grape: A Tool for Analysing Symmetry in Promela Models.
3-23
Electronic Edition (link) BibTeX
- Howard Bowman, Rodolfo Gómez, Li Su:
A Tool for the Syntactic Detection of Zeno-timelocks in Timed Automata.
25-47
Electronic Edition (link) BibTeX
- Stefan Blom, Jan Friso Groote, Sjouke Mauw, Alexander Serebrenik:
Analysing the BKE-security Protocol with µCRL.
49-90
Electronic Edition (link) BibTeX
- Dimitar P. Guelev:
Sharpening the Incompleteness of the Duration Calculus.
91-104
Electronic Edition (link) BibTeX
- Wan Fokkink, Jun Pang:
Formal Verification of Timed Systems Using Cones and Foci.
105-122
Electronic Edition (link) BibTeX
- Guangping Qin, Jinzhao Wu:
Action Refinement for Real-Time Concurrent Processes with Urgency.
123-144
Electronic Edition (link) BibTeX
- Atsushi Mizuno, Ken Mano, Yoshinobu Kawabe, Hiroaki Kuwabara, Kiyoshi Agusa, Shoji Yuen:
Name-passing style GUI programming in the pi-calculus-based language Nepi.
145-168
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:58:21 2009
by Michael Ley (ley@uni-trier.de)