FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3047218859> ?p ?o ?g. }

• W3047218859 endingPage "30" @default.
• W3047218859 startingPage "1" @default.
• W3047218859 abstract "Distributed systems are critical to reliable and scalable computing; however, they are complicated in nature and prone to bugs. To manage this complexity, network middleware has been traditionally built in layered stacks of components.We present a novel approach to compositional verification of distributed stacks to verify each component based on only the specification of lower components. We present TLC (Temporal Logic of Components), a novel temporal program logic that offers intuitive inference rules for verification of both safety and liveness properties of functional implementations of distributed components. To support compositional reasoning, we define a novel transformation on the assertion language that lowers the specification of a component to be used as a subcomponent. We prove the soundness of TLC and the lowering transformation with respect to a novel operational semantics for stacks of composed components in partially synchronous networks. We successfully apply TLC to compose and verify a stack of fundamental distributed components." @default.
• W3047218859 created "2020-08-10" @default.
• W3047218859 creator A5018005626 @default.
• W3047218859 creator A5048287963 @default.
• W3047218859 creator A5055186230 @default.
• W3047218859 creator A5088825348 @default.
• W3047218859 date "2020-08-02" @default.
• W3047218859 modified "2023-10-17" @default.
• W3047218859 title "TLC: temporal logic of distributed components" @default.
• W3047218859 cites W124985652 @default.
• W3047218859 cites W1533268057 @default.
• W3047218859 cites W1556566737 @default.
• W3047218859 cites W1771264736 @default.
• W3047218859 cites W1971810486 @default.
• W3047218859 cites W1973938051 @default.
• W3047218859 cites W1977419146 @default.
• W3047218859 cites W2003214215 @default.
• W3047218859 cites W2015688007 @default.
• W3047218859 cites W2035362408 @default.
• W3047218859 cites W2075854425 @default.
• W3047218859 cites W2091657052 @default.
• W3047218859 cites W2091776255 @default.
• W3047218859 cites W2095778029 @default.
• W3047218859 cites W2096274181 @default.
• W3047218859 cites W2106755394 @default.
• W3047218859 cites W2155037890 @default.
• W3047218859 cites W2162492115 @default.
• W3047218859 cites W2169724009 @default.
• W3047218859 cites W2288327952 @default.
• W3047218859 cites W2336977579 @default.
• W3047218859 cites W2763294113 @default.
• W3047218859 cites W2796523291 @default.
• W3047218859 cites W2903499634 @default.
• W3047218859 cites W2912904668 @default.
• W3047218859 cites W2987907651 @default.
• W3047218859 cites W3002424897 @default.
• W3047218859 cites W3100822217 @default.
• W3047218859 cites W4251912342 @default.
• W3047218859 cites W4289121630 @default.
• W3047218859 cites W48672996 @default.
• W3047218859 doi "https://doi.org/10.1145/3409005" @default.
• W3047218859 hasPublicationYear "2020" @default.
• W3047218859 type Work @default.
• W3047218859 sameAs 3047218859 @default.
• W3047218859 citedByCount "6" @default.
• W3047218859 countsByYear W30472188592020 @default.
• W3047218859 countsByYear W30472188592021 @default.
• W3047218859 countsByYear W30472188592022 @default.
• W3047218859 countsByYear W30472188592023 @default.
• W3047218859 crossrefType "journal-article" @default.
• W3047218859 hasAuthorship W3047218859A5018005626 @default.
• W3047218859 hasAuthorship W3047218859A5048287963 @default.
• W3047218859 hasAuthorship W3047218859A5055186230 @default.
• W3047218859 hasAuthorship W3047218859A5088825348 @default.
• W3047218859 hasBestOaLocation W30472188591 @default.
• W3047218859 hasConcept C104317684 @default.
• W3047218859 hasConcept C120314980 @default.
• W3047218859 hasConcept C121332964 @default.
• W3047218859 hasConcept C121375916 @default.
• W3047218859 hasConcept C154945302 @default.
• W3047218859 hasConcept C15569618 @default.
• W3047218859 hasConcept C156325763 @default.
• W3047218859 hasConcept C168167062 @default.
• W3047218859 hasConcept C169468491 @default.
• W3047218859 hasConcept C184337299 @default.
• W3047218859 hasConcept C185592680 @default.
• W3047218859 hasConcept C199360897 @default.
• W3047218859 hasConcept C204241405 @default.
• W3047218859 hasConcept C25016198 @default.
• W3047218859 hasConcept C39920170 @default.
• W3047218859 hasConcept C41008148 @default.
• W3047218859 hasConcept C48044578 @default.
• W3047218859 hasConcept C55493867 @default.
• W3047218859 hasConcept C77088390 @default.
• W3047218859 hasConcept C80444323 @default.
• W3047218859 hasConcept C97355855 @default.
• W3047218859 hasConceptScore W3047218859C104317684 @default.
• W3047218859 hasConceptScore W3047218859C120314980 @default.
• W3047218859 hasConceptScore W3047218859C121332964 @default.
• W3047218859 hasConceptScore W3047218859C121375916 @default.
• W3047218859 hasConceptScore W3047218859C154945302 @default.
• W3047218859 hasConceptScore W3047218859C15569618 @default.
• W3047218859 hasConceptScore W3047218859C156325763 @default.
• W3047218859 hasConceptScore W3047218859C168167062 @default.
• W3047218859 hasConceptScore W3047218859C169468491 @default.
• W3047218859 hasConceptScore W3047218859C184337299 @default.
• W3047218859 hasConceptScore W3047218859C185592680 @default.
• W3047218859 hasConceptScore W3047218859C199360897 @default.
• W3047218859 hasConceptScore W3047218859C204241405 @default.
• W3047218859 hasConceptScore W3047218859C25016198 @default.
• W3047218859 hasConceptScore W3047218859C39920170 @default.
• W3047218859 hasConceptScore W3047218859C41008148 @default.
• W3047218859 hasConceptScore W3047218859C48044578 @default.
• W3047218859 hasConceptScore W3047218859C55493867 @default.
• W3047218859 hasConceptScore W3047218859C77088390 @default.
• W3047218859 hasConceptScore W3047218859C80444323 @default.
• W3047218859 hasConceptScore W3047218859C97355855 @default.
• W3047218859 hasIssue "ICFP" @default.

• next