3653 search results - page 39 / 731 » On Recognizable Timed Languages |
FORMATS
2005
Springer
15 years 3 months ago
2005
Springer
This paper attempts to improve our understanding of timed languages and their relation to timed automata. We start by giving a constructive proof of the folk theorem stating that t...
TIME
2005
IEEE
15 years 3 months ago
2005
IEEE
The language of timed µCRL is an extension of an ACP-style process algebra-based language µCRL with time-related features. In this paper we describe this language and its equati...
ICALP
2005
Springer
15 years 3 months ago
2005
Springer
ICALP
2004
Springer
15 years 3 months ago
2004
Springer
IFIP
2004
Springer
15 years 3 months ago
2004
Springer