Local safety and local liveness for distributed systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Book Sections Year : 2009

Local safety and local liveness for distributed systems

Abstract

We introduce local safety and local liveness for distributed systems whose executions are modeled by Mazurkiewicz traces. We characterize local safety by local closure and local liveness by local density. Restricting to first-order definable properties, we prove a decomposition theorem in the spirit of the separation theorem for linear temporal logic. We then characterize local safety and local liveness by means of canonical local temporal logic formulae.

Domains

Other [cs.OH]
No file

Dates and versions

hal-00772643 , version 1 (10-01-2013)

Identifiers

  • HAL Id : hal-00772643 , version 1

Cite

Volker Diekert, Paul Gastin. Local safety and local liveness for distributed systems. Lodaya, Kamal and Mukund, Madhavan and Ramanujam, R. Perspectives in Concurrency Theory, Universities Press, pp.86-106, 2009. ⟨hal-00772643⟩
66 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More