17 search results - page 4 / 4 » A decidable characterization of the classes between lintime ... |
CORR
2007
Springer
13 years 6 months ago
2007
Springer
The study of finite automata and regular languages is a privileged meeting point of algebra and logic. Since the work of Büchi, regular languages have been classified according ...
FUIN
2007
13 years 6 months ago
2007
Mazurkiewicz traces form a model for concurrency. Temporal logic st-order logic are important tools in order to deal with the abstract behavior of such systems. Since typical prop...