Issue 1/2000
Content (3 Articles)
Original article
Data structures for order-sensitive predicates in parallel nondeterministic systems
Desh Ranjan, Enrico Pontelli, Gopal Gupta
Original article
Semantics analysis through elementary meanings
Youichi Kobuchi, Takashi Saito, Hidenobu Nunome
Original article
Accepting Zeno words: a way toward timed refinements
Béatrice Bérard, Claudine Picaronny