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