Volume 37; Issue 1

Acta Informatica

Volume 37; Issue 1
1

Data structures for order-sensitive predicates in parallel nondeterministic systems

Desh Ranjan, Enrico Pontelli, Gopal Gupta
Journal:
Acta Informatica
Year:
2000
Language:
english
File:
PDF, 142 KB
english, 2000
2

Semantics analysis through elementary meanings

Youichi Kobuchi, Takashi Saito, Hidenobu Nunome
Journal:
Acta Informatica
Year:
2000
Language:
english
File:
PDF, 161 KB
english, 2000
3

Accepting Zeno words: a way toward timed refinements

Béatrice Bérard, Claudine Picaronny
Journal:
Acta Informatica
Year:
2000
Language:
english
File:
PDF, 388 KB
english, 2000