A multiprocess network logic with temporal and spatial modalities
From MaRDI portal
Publication:1058846
DOI10.1016/0022-0000(85)90003-0zbMath0565.68031MaRDI QIDQ1058846
Publication date: 1985
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0022-0000(85)90003-0
complexity; distributed systems; decidability; semantics; syntax; computations on networks with complex connections; firing squad problem for a linear array; multidimensional temporal logic; routing on a shuffle-exchange network; spatial modalities; systolic arithmetic computations; temporal modalities
03B45: Modal logic (including the logic of norms)
68Q65: Abstract data types; algebraic specification
Related Items
A decidable temporal logic of parallelism, Formal timing analysis of distributed systems, Time-extraction for temporal logic -- logic programming and local process time