메뉴 건너뛰기




Volumn 18, Issue , 2004, Pages 2539-2546

Concurrency vs. sequential interleavings in 1-D threshold cellular automata

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN FUNCTIONS; COMPUTATIONAL METHODS; COMPUTER HARDWARE; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; GRAPH THEORY; LARGE SCALE SYSTEMS; MATHEMATICAL MODELS; PARALLEL PROCESSING SYSTEMS; RANDOM PROCESSES; REAL TIME SYSTEMS; SEMANTICS;

EID: 12444338958     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (9)

References (22)
  • 2
    • 0002663338 scopus 로고    scopus 로고
    • 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
  • 5
    • 0347110898 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 10
    • 0020496145 scopus 로고
    • Structure in asynchronous cellular automata
    • Jan.
    • T. E. Ingerson and R. L. Buvel, "Structure in asynchronous cellular automata", Physica D: Nonlinear Phenomena, vol. 10 (1-2), Jan. 1984
    • (1984) Physica D: Nonlinear Phenomena , vol.10 , Issue.1-2
    • Ingerson, T.E.1    Buvel, R.L.2
  • 12
    • 0003630836 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.