Electronic Notes in Theoretical Computer Science, Volume 139

Volume 139, Number 1, 4 November 2005

• 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