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
• 
  Alastair F. Donaldson, Alice Miller, Muffy Calder: Spin-to-Grape: A Tool for Analysing Symmetry in Promela Models. 3-23
• 
  Howard Bowman, Rodolfo Gómez, Li Su: A Tool for the Syntactic Detection of Zeno-timelocks in Timed Automata. 25-47
• 
  Stefan Blom, Jan Friso Groote, Sjouke Mauw, Alexander Serebrenik: Analysing the BKE-security Protocol with µCRL. 49-90
• 
  Dimitar P. Guelev: Sharpening the Incompleteness of the Duration Calculus. 91-104
• 
  Wan Fokkink, Jun Pang: Formal Verification of Timed Systems Using Cones and Foci. 105-122
• 
  Guangping Qin, Jinzhao Wu: Action Refinement for Real-Time Concurrent Processes with Urgency. 123-144
• 
  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