2632 search results - page 40 / 527 » Alternating Timed Automata |
DEON
2004
Springer
15 years 5 months ago
2004
Springer
AIPS
2000
15 years 1 months ago
2000
LPAR
2010
Springer
14 years 9 months ago
2010
Springer
LPAR
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Recently, graded modalities have been added to the semantics of two of the logics most commonly used by the computer science community:
107
click to vote
BCS
2008
15 years 1 months ago
2008
We propose a defi nition of Cellular Automaton in which links between cells can change during the computation. This is done locally by each cell, which can reach the neighbours of...