Matches in SemOpenAlex for { <https://semopenalex.org/work/W2008807688> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2008807688 abstract "We present a new approach, based on simulation relations, for reasoning about liveness properties of distributed systems. Our contribution consists of (1) a formalism for defining liveness properties, (2) a proof method for liveness properties based on that formalism, and (3) two expressive completeness results: our formalism can express any liveness property which satisfies a natural robustness condition; and also any liveness property at all, provided that history variables can be used. To define liveness, we generalize complemented-pairs (Streett) automata to an infinite state-space, and an infinite number of complemented-pairs. Our proof method provides two techniques: one for refining liveness properties across levels of abstraction, and another for refining liveness properties within a level of abstraction. The first is based on extending simulation relations so that they relate the liveness properties of an abstract automaton to those of a concrete automaton. The second is based on a deductive method for inferring new liveness properties of an automaton from already established liveness properties of the same automaton. This deductive method is diagrammatic, and is based on constructing lattices of liveness properties." @default.
- W2008807688 created "2016-06-24" @default.
- W2008807688 creator A5084248913 @default.
- W2008807688 date "2011-05-04" @default.
- W2008807688 modified "2023-09-23" @default.
- W2008807688 title "On the refinement of liveness properties of distributed systems" @default.
- W2008807688 cites W1506588809 @default.
- W2008807688 cites W1559397325 @default.
- W2008807688 cites W1605381479 @default.
- W2008807688 cites W1641346184 @default.
- W2008807688 cites W1984478483 @default.
- W2008807688 cites W1986033227 @default.
- W2008807688 cites W1995008247 @default.
- W2008807688 cites W1999361850 @default.
- W2008807688 cites W2009965218 @default.
- W2008807688 cites W2015688007 @default.
- W2008807688 cites W2016014698 @default.
- W2008807688 cites W2022228153 @default.
- W2008807688 cites W2025480213 @default.
- W2008807688 cites W2027755003 @default.
- W2008807688 cites W2039065451 @default.
- W2008807688 cites W2050731094 @default.
- W2008807688 cites W2065353132 @default.
- W2008807688 cites W2068080096 @default.
- W2008807688 cites W2105564020 @default.
- W2008807688 cites W2124788813 @default.
- W2008807688 cites W2131064738 @default.
- W2008807688 cites W2132107743 @default.
- W2008807688 cites W2132334337 @default.
- W2008807688 cites W2144886654 @default.
- W2008807688 cites W2147133238 @default.
- W2008807688 cites W2156027558 @default.
- W2008807688 cites W2166656159 @default.
- W2008807688 cites W2328819335 @default.
- W2008807688 cites W2915052813 @default.
- W2008807688 cites W3022429701 @default.
- W2008807688 cites W4240126131 @default.
- W2008807688 doi "https://doi.org/10.1007/s10703-011-0117-1" @default.
- W2008807688 hasPublicationYear "2011" @default.
- W2008807688 type Work @default.
- W2008807688 sameAs 2008807688 @default.
- W2008807688 citedByCount "3" @default.
- W2008807688 countsByYear W20088076882014 @default.
- W2008807688 countsByYear W20088076882016 @default.
- W2008807688 countsByYear W20088076882019 @default.
- W2008807688 crossrefType "journal-article" @default.
- W2008807688 hasAuthorship W2008807688A5084248913 @default.
- W2008807688 hasBestOaLocation W20088076882 @default.
- W2008807688 hasConcept C112505250 @default.
- W2008807688 hasConcept C142362112 @default.
- W2008807688 hasConcept C153349607 @default.
- W2008807688 hasConcept C15569618 @default.
- W2008807688 hasConcept C41008148 @default.
- W2008807688 hasConcept C558565934 @default.
- W2008807688 hasConcept C73301696 @default.
- W2008807688 hasConcept C80444323 @default.
- W2008807688 hasConceptScore W2008807688C112505250 @default.
- W2008807688 hasConceptScore W2008807688C142362112 @default.
- W2008807688 hasConceptScore W2008807688C153349607 @default.
- W2008807688 hasConceptScore W2008807688C15569618 @default.
- W2008807688 hasConceptScore W2008807688C41008148 @default.
- W2008807688 hasConceptScore W2008807688C558565934 @default.
- W2008807688 hasConceptScore W2008807688C73301696 @default.
- W2008807688 hasConceptScore W2008807688C80444323 @default.
- W2008807688 hasLocation W20088076881 @default.
- W2008807688 hasLocation W20088076882 @default.
- W2008807688 hasOpenAccess W2008807688 @default.
- W2008807688 hasPrimaryLocation W20088076881 @default.
- W2008807688 hasRelatedWork W1492555133 @default.
- W2008807688 hasRelatedWork W1525658795 @default.
- W2008807688 hasRelatedWork W1557079643 @default.
- W2008807688 hasRelatedWork W1563992305 @default.
- W2008807688 hasRelatedWork W1572337454 @default.
- W2008807688 hasRelatedWork W1575025334 @default.
- W2008807688 hasRelatedWork W1578664028 @default.
- W2008807688 hasRelatedWork W1595155342 @default.
- W2008807688 hasRelatedWork W191072716 @default.
- W2008807688 hasRelatedWork W1984478483 @default.
- W2008807688 hasRelatedWork W1992329938 @default.
- W2008807688 hasRelatedWork W2048230495 @default.
- W2008807688 hasRelatedWork W2088892644 @default.
- W2008807688 hasRelatedWork W2088962760 @default.
- W2008807688 hasRelatedWork W2177779225 @default.
- W2008807688 hasRelatedWork W2959774828 @default.
- W2008807688 hasRelatedWork W2995181781 @default.
- W2008807688 hasRelatedWork W3005707973 @default.
- W2008807688 hasRelatedWork W979433832 @default.
- W2008807688 hasRelatedWork W169494670 @default.
- W2008807688 isParatext "false" @default.
- W2008807688 isRetracted "false" @default.
- W2008807688 magId "2008807688" @default.
- W2008807688 workType "article" @default.