Scholars@Duke

A multiprocess network logic with temporal and spatial modalities

Publication ,  Conference
Reif, J; Sistla, AP
Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
January 1, 1983
Published version (DOI)

We introduce a modal logic which can be used to formally reason about synchronous fixed connection multiprocess networks such as of VLSI. Our logic has both temporal and spatial modal operators. The various temporal modal operators allow us to relate properties of the current state of a given process with properties of succeeding states of the given process. Also, the spatial modal operators allow us to relate properties of the current state of a given process with properties of the current state of neighboring processes. Many interesting properties for multiprocessor networks can be elegantly expressed in our logic. We give examples of the diverse applications of our logic to packet routing, firing squad problems, and systolic algorithms. We also present some results in the decidability and complexity issues in this logic.

Duke Scholars

John H. Reif
Author John H. Reif Computer Science

Published In

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

DOI

10.1007/BFb0036943

EISSN

1611-3349

ISSN

0302-9743

Publication Date

January 1, 1983

Volume

154 LNCS

Start / End Page

629 / 639

Related Subject Headings

  • Artificial Intelligence & Image Processing
  • 46 Information and computing sciences
 

Citation

APA
Chicago
ICMJE
MLA
NLM
Reif, J., & Sistla, A. P. (1983). A multiprocess network logic with temporal and spatial modalities. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 154 LNCS, pp. 629–639). https://doi.org/10.1007/BFb0036943
Reif, J., and A. P. Sistla. “A multiprocess network logic with temporal and spatial modalities.” In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 154 LNCS:629–39, 1983. https://doi.org/10.1007/BFb0036943.
Reif J, Sistla AP. A multiprocess network logic with temporal and spatial modalities. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1983. p. 629–39.
Reif, J., and A. P. Sistla. “A multiprocess network logic with temporal and spatial modalities.” Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 154 LNCS, 1983, pp. 629–39. Scopus, doi:10.1007/BFb0036943.
Reif J, Sistla AP. A multiprocess network logic with temporal and spatial modalities. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1983. p. 629–639.

Published In

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

DOI

10.1007/BFb0036943

EISSN

1611-3349

ISSN

0302-9743

Publication Date

January 1, 1983

Volume

154 LNCS

Start / End Page

629 / 639

Related Subject Headings

  • Artificial Intelligence & Image Processing
  • 46 Information and computing sciences