-
2
-
-
0002663338
-
Elements of a theory of computer simulation I: Sequential CA over random graphs
-
C. Barrett and C. Reidys, "Elements of a theory of computer simulation I: sequential CA over random graphs", Applied Math. & Comput., vol. 98 (2-3), 1999
-
(1999)
Applied Math. & Comput.
, vol.98
, Issue.2-3
-
-
Barrett, C.1
Reidys, C.2
-
3
-
-
12444276284
-
Gardens of eden and fixed points in sequential dynamical systems
-
July
-
C. Barrett, H. Hunt, M. Marathe, S. S. Ravi, D. Rosenkrantz, R. Stearns, and P. Tosic, "Gardens of Eden and Fixed Points in Sequential Dynamical Systems", Discrete Math. & Theoretical Comp. Sci. Proc. AA (DM-CCG), July 2001
-
(2001)
Discrete Math. & Theoretical Comp. Sci. Proc. AA (DM-CCG)
-
-
Barrett, C.1
Hunt, H.2
Marathe, M.3
Ravi, S.S.4
Rosenkrantz, D.5
Stearns, R.6
Tosic, P.7
-
4
-
-
12244261881
-
Reachability problems for sequential dynamical systems with threshold functions
-
C. Barrett, H. B. Hunt III, M. V. Marathe, S. S. Ravi, D. J. Rosenkrantz, R. E. Stearns, " Reachability problems for sequential dynamical systems with threshold functions", TCS 1-3: 41-64, 2003
-
(2003)
TCS
, vol.1-3
, pp. 41-64
-
-
Barrett, C.1
Hunt III, H.B.2
Marathe, M.V.3
Ravi, S.S.4
Rosenkrantz, D.J.5
Stearns, R.E.6
-
5
-
-
0347110898
-
Elements of a theory of computer simulation II: Sequential dynamical systems
-
C. Barrett, H. Mortveit, and C. Reidys, "Elements of a theory of computer simulation II: sequential dynamical systems", Applied Math. & Comput. vol. 107(2-3), 2000
-
(2000)
Applied Math. & Comput.
, vol.107
, Issue.2-3
-
-
Barrett, C.1
Mortveit, H.2
Reidys, C.3
-
6
-
-
0035882699
-
Elements of a theory of computer simulation III: Equivalence of sequential dynamical systems
-
C. Barrett, H. Mortveit, and C. Reidys, "Elements of a theory of computer simulation III: equivalence of sequential dynamical systems", Appl. Math. & Comput. vol. 122(3), 2001
-
(2001)
Appl. Math. & Comput.
, vol.122
, Issue.3
-
-
Barrett, C.1
Mortveit, H.2
Reidys, C.3
-
12
-
-
0003630836
-
A calculus of communicating systems
-
Springer, Berlin
-
R. Milner, "A Calculus of Communicating Systems", Lecture Notes Comp. Sci., Springer, Berlin, 1989
-
(1989)
Lecture Notes Comp. Sci.
-
-
Milner, R.1
-
13
-
-
0001530725
-
Calculi for synchrony and asynchrony
-
Elsevier
-
R. Milner, "Calculi for synchrony and asynchrony", Theoretical Comp. Sci. 25, Elsevier, 1983
-
(1983)
Theoretical Comp. Sci.
, vol.25
-
-
Milner, R.1
-
14
-
-
0003954103
-
Communication and concurrency
-
Prentice-Hall Int'l
-
R. Milner, "Communication and Concurrency", C. A. R. Hoare series ed., Prentice-Hall Int'l, 1989
-
(1989)
C. A. R. Hoare Series Ed.
-
-
Milner, R.1
-
15
-
-
0003466248
-
-
edited and completed by A. W. Burks, Univ. of Illinois Press, Urbana
-
J. von Neumann, "Theory of Self-Reproducing Automata", edited and completed by A. W. Burks, Univ. of Illinois Press, Urbana, 1966
-
(1966)
Theory of Self-reproducing Automata
-
-
Von Neumann, J.1
-
18
-
-
27144526029
-
Computation theory of cellular automata
-
CA, Brno, Czech Rep.
-
K. Sutner, "Computation theory of cellular automata", MPCS98 Satellite Workshop CA, Brno, Czech Rep., 1998
-
(1998)
MPCS98 Satellite Workshop
-
-
Sutner, K.1
-
20
-
-
12444339054
-
Twenty problems in the theory of CA
-
S. Wolfram "Twenty problems in the theory of CA", Physica Scripta 9, 1985
-
(1985)
Physica Scripta
, vol.9
-
-
Wolfram, S.1
|