1. Semantics analysis through elementary meanings

   • Youichi Kobuchi
   • Takashi Saito
   • Hidenobu Nunome

   Original article Pages: 1 - 19

2. Data structures for order-sensitive predicates in parallel nondeterministic systems

   • Desh Ranjan
   • Enrico Pontelli
   • Gopal Gupta

   Original article Pages: 21 - 43

3. Accepting Zeno words: a way toward timed refinements

   • Béatrice Bérard
   • Claudine Picaronny

   Original article Pages: 45 - 81