Accepted Papers

• Dimitar P. Guelev:
  Sharpening the Incompleteness of the Duration Calculus
• Wan Fokkink and Jun Pang:
  Formal Verification of Timed Systems using Cones and Foci
• Howard Bowman, Rodolfo Gomez and Li Su:
  A tool for the syntactic detection of zeno-timelocks in timed automata
• G. Qin and J. Wu:
  Action refinement for Real-time Concurrent Processes with Urgency
• Alastair Donaldson, Alice Miller and Muffy Calder:
  SPIN-to-GRAPE: A tool for analysing symmetry in Promela models
• Atsushi Mizuno, Ken Mano, Yoshinobu Kawabe, Hiroaki Kuwabara, Shoji Yuen, Kiyoshi Agusa:
  Name-passing style GUI programming in pi-calculus based language Nepi