Relative liveness and behavior abstraction (extended abstract)
PODC '97 Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing
Construction of an Automaton From a Formula of the Monadic First-Order Theory of Natural Numbers
Cybernetics and Systems Analysis
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
A power-set construction for reducing Büchi automata to non-determinism degree two
Information Processing Letters
Timetrees: a branching-time structure for modeling activity and state in human-computer interaction
Human-Computer Interaction
Hi-index | 0.00 |