Semantics analysis through elementary meanings Youichi KobuchiTakashi SaitoHidenobu Nunome Original article Pages: 1 - 19
Data structures for order-sensitive predicates in parallel nondeterministic systems Desh RanjanEnrico PontelliGopal Gupta Original article Pages: 21 - 43
Accepting Zeno words: a way toward timed refinements Béatrice BérardClaudine Picaronny Original article Pages: 45 - 81