Scholars@Duke
Journal cover image

A multiprocess network logic with temporal and spatial modalities

Publication ,  Journal Article
Reif, J; Sistla, AP
Published in: Journal of Computer and System Sciences
January 1, 1985
Published version (DOI)

A modal logic which can be used to formally reason about synchronous fixed connection multiprocess networks such as of VLSI is introduced. The logic has both temporal and spatial modal operators. The various temporal modal operators can be used to relate the properties of the current state of a given process with properties of succeeding states of the same process. The spatial modal operators are useful to relate the properties of the current state of a given process with properties of the current state of neighboring processes. Many interesting properties of multiprocessor networks can be elegantly expressed in our logic. Examples of the diverse applications of the logic to packet routing, firing squad problems, systolic algorithms, and distributed system are given. Also some results in the decidability and complexity issues of this logic are presented. © 1985.

Duke Scholars

John H. Reif
Author John H. Reif Computer Science

Published In

Journal of Computer and System Sciences

DOI

10.1016/0022-0000(85)90003-0

EISSN

1090-2724

ISSN

0022-0000

Publication Date

January 1, 1985

Volume

30

Issue

1

Start / End Page

41 / 53

Related Subject Headings

  • Computation Theory & Mathematics
  • 49 Mathematical sciences
  • 46 Information and computing sciences
  • 0806 Information Systems
  • 0805 Distributed Computing
  • 0802 Computation Theory and Mathematics
 

Citation

APA
Chicago
ICMJE
MLA
NLM
Reif, J., & Sistla, A. P. (1985). A multiprocess network logic with temporal and spatial modalities. Journal of Computer and System Sciences, 30(1), 41–53. https://doi.org/10.1016/0022-0000(85)90003-0
Reif, J., and A. P. Sistla. “A multiprocess network logic with temporal and spatial modalities.” Journal of Computer and System Sciences 30, no. 1 (January 1, 1985): 41–53. https://doi.org/10.1016/0022-0000(85)90003-0.
Reif J, Sistla AP. A multiprocess network logic with temporal and spatial modalities. Journal of Computer and System Sciences. 1985 Jan 1;30(1):41–53.
Reif, J., and A. P. Sistla. “A multiprocess network logic with temporal and spatial modalities.” Journal of Computer and System Sciences, vol. 30, no. 1, Jan. 1985, pp. 41–53. Scopus, doi:10.1016/0022-0000(85)90003-0.
Reif J, Sistla AP. A multiprocess network logic with temporal and spatial modalities. Journal of Computer and System Sciences. 1985 Jan 1;30(1):41–53.
Journal cover image

Published In

Journal of Computer and System Sciences

DOI

10.1016/0022-0000(85)90003-0

EISSN

1090-2724

ISSN

0022-0000

Publication Date

January 1, 1985

Volume

30

Issue

1

Start / End Page

41 / 53

Related Subject Headings

  • Computation Theory & Mathematics
  • 49 Mathematical sciences
  • 46 Information and computing sciences
  • 0806 Information Systems
  • 0805 Distributed Computing
  • 0802 Computation Theory and Mathematics