Can message buffers be axiomatized in linear temporal logic?
From MaRDI portal
Publication:3719805
DOI10.1016/S0019-9958(84)80043-1zbMath0591.68022MaRDI QIDQ3719805
Nissim Francez, Albert R. Meyer, A. P. Sistla, Edmund M. Clarke
Publication date: 1984
Published in: Information and Control (Search for Journal in Brave)
distributed system; interprocess communication; Message passing; propositional temporal logic; FIFO buffers; LIFO buffers; unordered buffers
68N25: Theory of operating systems
Related Items
A Branching Time Logical System for Open Distributed Systems Development, The tail-recursive fragment of timed recursive CTL, Ordered multi-stack visibly pushdown automata, Expressibility of output equals input. Negative and positive results, Safety, liveness and fairness in temporal logic