644 search results - page 37 / 129 » Precedence Automata and Languages |
ICALP
2005
Springer
15 years 5 months ago
2005
Springer
ICALP
2007
Springer
15 years 5 months ago
2007
Springer
d Abstract) Marcin Jurdzi´nski and Ashutosh Trivedi Department of Computer Science, University of Warwick, UK In a reachability-time game, players Min and Max choose moves so that...
EPEW
2005
Springer
15 years 5 months ago
2005
Springer
In this paper we show how we can translate Web Services described by WS-CDL into a timed automata orchestration, and more specifically we are interested in Web services with time ...
LICS
2003
IEEE
15 years 4 months ago
2003
IEEE
We consider several questions related to the use of digitization techniques for timed automata. These very successful techniques reduce dense-time language inclusion problems to d...
CORR
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. We generalize some of the central results in automata theory to the abstraction level of coalgebras and thus lay out the foundations of a universal theory of automata ope...