346 search results - page 8 / 70 » Determinizing Asynchronous Automata |
POPL
2010
ACM
14 years 1 months ago
2010
ACM
Computer science has served to insulate programs and programmers from knowledge of the underlying mechanisms used to manipulate information, however this fiction is increasingly h...
FOSSACS
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. We define and study an automata model of concurrent recursive programs. An automaton consists of a finite number of pushdown systems running in parallel and communicati...
ACRI
2006
Springer
14 years 4 months ago
2006
Springer
Cellular automata are discrete dynamical systems that are widely used to model natural systems. Classically they are run with perfect synchrony ; i.e., the local rule is applied to...
CORR
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. Cellular automata have been mainly studied for on very regular graphs carrying the cells (like lines or grids) and under synchronous dynamics (all cells update simultaneo...
MFCS
2007
Springer
14 years 5 months ago
2007
Springer