FRINK Linked Data Fragments server

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

• W162249063 endingPage "205" @default.
• W162249063 startingPage "195" @default.
• W162249063 abstract "We introduce a family of logics for expressing and reasoning about stochastic properties over mobile distributed systems. More specifically, to reason about state properties, action sequences, location-based properties and differentiate between local and global object-based behaviour, we define an ASMC + extending an action and state-based Markov chain with object and location labels. We introduce a distributed stochastic logic DSL interpreted over ASMC + s. For an ASMC + model M, we define quotient structures equivalent to M which induce sublogics over DSL. The logics include a global stochastic logic GSL and local stochastic logics LSL for locations in the system. In general, the logics can be used to capture different quantitative dependability properties for distributed mobile systems. We point out that the interpretation of the sublogics over equivalence preserving state space aggregations brings considerable advantages for verification." @default.
• W162249063 created "2016-06-24" @default.
• W162249063 creator A5004629504 @default.
• W162249063 creator A5060106141 @default.
• W162249063 date "2014-01-01" @default.
• W162249063 modified "2023-09-27" @default.
• W162249063 title "On Distributed Stochastic Logics for Mobile Systems" @default.
• W162249063 cites W1506361693 @default.
• W162249063 cites W168380059 @default.
• W162249063 cites W1862398452 @default.
• W162249063 cites W1897676854 @default.
• W162249063 cites W1969553191 @default.
• W162249063 cites W2041226400 @default.
• W162249063 cites W2065103010 @default.
• W162249063 cites W2115555017 @default.
• W162249063 cites W2119720165 @default.
• W162249063 cites W2143909814 @default.
• W162249063 cites W2152640722 @default.
• W162249063 cites W2161235182 @default.
• W162249063 cites W2284263109 @default.
• W162249063 cites W2410243683 @default.
• W162249063 cites W2710510407 @default.
• W162249063 cites W2912003593 @default.
• W162249063 cites W48379295 @default.
• W162249063 doi "https://doi.org/10.1007/978-3-662-44145-9_14" @default.
• W162249063 hasPublicationYear "2014" @default.
• W162249063 type Work @default.
• W162249063 sameAs 162249063 @default.
• W162249063 citedByCount "0" @default.
• W162249063 crossrefType "book-chapter" @default.
• W162249063 hasAuthorship W162249063A5004629504 @default.
• W162249063 hasAuthorship W162249063A5060106141 @default.
• W162249063 hasConcept C105795698 @default.
• W162249063 hasConcept C11413529 @default.
• W162249063 hasConcept C115903868 @default.
• W162249063 hasConcept C118615104 @default.
• W162249063 hasConcept C119857082 @default.
• W162249063 hasConcept C120314980 @default.
• W162249063 hasConcept C154945302 @default.
• W162249063 hasConcept C199422724 @default.
• W162249063 hasConcept C201374245 @default.
• W162249063 hasConcept C202444582 @default.
• W162249063 hasConcept C25016198 @default.
• W162249063 hasConcept C2780069185 @default.
• W162249063 hasConcept C2781238097 @default.
• W162249063 hasConcept C33923547 @default.
• W162249063 hasConcept C41008148 @default.
• W162249063 hasConcept C48103436 @default.
• W162249063 hasConcept C72434380 @default.
• W162249063 hasConcept C76155785 @default.
• W162249063 hasConcept C77019957 @default.
• W162249063 hasConcept C80444323 @default.
• W162249063 hasConcept C98763669 @default.
• W162249063 hasConceptScore W162249063C105795698 @default.
• W162249063 hasConceptScore W162249063C11413529 @default.
• W162249063 hasConceptScore W162249063C115903868 @default.
• W162249063 hasConceptScore W162249063C118615104 @default.
• W162249063 hasConceptScore W162249063C119857082 @default.
• W162249063 hasConceptScore W162249063C120314980 @default.
• W162249063 hasConceptScore W162249063C154945302 @default.
• W162249063 hasConceptScore W162249063C199422724 @default.
• W162249063 hasConceptScore W162249063C201374245 @default.
• W162249063 hasConceptScore W162249063C202444582 @default.
• W162249063 hasConceptScore W162249063C25016198 @default.
• W162249063 hasConceptScore W162249063C2780069185 @default.
• W162249063 hasConceptScore W162249063C2781238097 @default.
• W162249063 hasConceptScore W162249063C33923547 @default.
• W162249063 hasConceptScore W162249063C41008148 @default.
• W162249063 hasConceptScore W162249063C48103436 @default.
• W162249063 hasConceptScore W162249063C72434380 @default.
• W162249063 hasConceptScore W162249063C76155785 @default.
• W162249063 hasConceptScore W162249063C77019957 @default.
• W162249063 hasConceptScore W162249063C80444323 @default.
• W162249063 hasConceptScore W162249063C98763669 @default.
• W162249063 hasLocation W1622490631 @default.
• W162249063 hasOpenAccess W162249063 @default.
• W162249063 hasPrimaryLocation W1622490631 @default.
• W162249063 hasRelatedWork W1516007874 @default.
• W162249063 hasRelatedWork W1539631318 @default.
• W162249063 hasRelatedWork W1948103674 @default.
• W162249063 hasRelatedWork W1980522848 @default.
• W162249063 hasRelatedWork W1987198571 @default.
• W162249063 hasRelatedWork W1996880246 @default.
• W162249063 hasRelatedWork W2099811898 @default.
• W162249063 hasRelatedWork W2121115481 @default.
• W162249063 hasRelatedWork W2141619737 @default.
• W162249063 hasRelatedWork W2148962689 @default.
• W162249063 hasRelatedWork W2155342912 @default.
• W162249063 hasRelatedWork W2172283073 @default.
• W162249063 hasRelatedWork W2188707970 @default.
• W162249063 hasRelatedWork W2778153045 @default.
• W162249063 hasRelatedWork W2796352402 @default.
• W162249063 hasRelatedWork W2952136903 @default.
• W162249063 hasRelatedWork W2963686733 @default.
• W162249063 hasRelatedWork W3097011986 @default.
• W162249063 hasRelatedWork W37462798 @default.
• W162249063 hasRelatedWork W50369611 @default.
• W162249063 isParatext "false" @default.

• next