3653 search results - page 39 / 731 » On Recognizable Timed Languages |
142
Voted
FORMATS
2005
Springer
15 years 10 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...
153
click to vote
TIME
2005
IEEE
15 years 10 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 10 months ago
2005
Springer
83
Voted
IFIP
2004
Springer
15 years 10 months ago
2004
Springer