A model and temporal proof system for networks of processes
From MaRDI portal
Publication:1079948
DOI10.1007/BF01843567zbMath0598.68025MaRDI QIDQ1079948
Publication date: 1986
Published in: Distributed Computing (Search for Journal in Brave)
termination; message passing; deadlock; liveness properties; infinite execution sequence; synchronous and asynchronous networks
68N25: Theory of operating systems
Related Items
A compositional axiomatization of statecharts, A fully abstract trace model for dataflow and asynchronous networks, TTL : a formalism to describe local and global properties of distributed systems