63 search results - page 7 / 13 » Asynchronous Cellular Automata and Asynchronous Automata for... |
POPL
2010
ACM
13 years 11 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 3 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...
FP
1992
14 years 19 days ago
1992
ICALP
1994
Springer
14 years 20 days ago
1994
Springer
FOSSACS
2000
Springer
14 years 5 days ago
2000
Springer
We relate several models of concurrency introduced in the literature in order to extend classical Mazurkiewicz traces. These are mainly Droste's concurrent automata and Arnold...