FRINK Linked Data Fragments server

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

• W1706572362 endingPage "1156" @default.
• W1706572362 startingPage "1149" @default.
• W1706572362 abstract "Information-Based Interaction-Oriented Programming, specifically as epitomized by the Blindingly Simple Protocol Language (BSPL), is a promising new approach for declaratively expressing multiagent protocols. BSPL eschews traditional control flow operators and instead emphasizes causality and integrity based solely on the information models of the messages exchanged. BSPL has been shown to support a rich variety of practical protocols and can be realized in a distributed asynchronous architecture wherein the agents participating in a protocol act based on local knowledge alone. The flexibility and generality of BSPL mean that it needs a strong formal semantics to ensure correctness as well as automated tools to help develop protocol specifications.We provide a formal semantics for BSPL and formulate important technical properties, namely, enactability, safety, and liveness. We further describe our declarative implementation of the BSPL semantics as well as of verifiers for the above properties using a temporal reasoner. We have validated our implementation by verifying the correctness of several protocols of practical interest." @default.
• W1706572362 created "2016-06-24" @default.
• W1706572362 creator A5020679327 @default.
• W1706572362 date "2012-06-04" @default.
• W1706572362 modified "2023-09-28" @default.
• W1706572362 title "Semantics and verification of information-based protocols" @default.
• W1706572362 cites W1576632330 @default.
• W1706572362 cites W174365194 @default.
• W1706572362 cites W1993993050 @default.
• W1706572362 cites W2078440374 @default.
• W1706572362 cites W2099324152 @default.
• W1706572362 cites W2115279934 @default.
• W1706572362 cites W2116899603 @default.
• W1706572362 cites W2134435263 @default.
• W1706572362 cites W2135189471 @default.
• W1706572362 cites W2162819218 @default.
• W1706572362 cites W2170700988 @default.
• W1706572362 cites W2201756463 @default.
• W1706572362 cites W3137220996 @default.
• W1706572362 cites W8091359 @default.
• W1706572362 doi "https://doi.org/10.5555/2343776.2343861" @default.
• W1706572362 hasPublicationYear "2012" @default.
• W1706572362 type Work @default.
• W1706572362 sameAs 1706572362 @default.
• W1706572362 citedByCount "9" @default.
• W1706572362 countsByYear W17065723622016 @default.
• W1706572362 countsByYear W17065723622017 @default.
• W1706572362 countsByYear W17065723622018 @default.
• W1706572362 countsByYear W17065723622019 @default.
• W1706572362 countsByYear W17065723622020 @default.
• W1706572362 countsByYear W17065723622021 @default.
• W1706572362 countsByYear W17065723622022 @default.
• W1706572362 crossrefType "proceedings-article" @default.
• W1706572362 hasAuthorship W1706572362A5020679327 @default.
• W1706572362 hasConcept C105795698 @default.
• W1706572362 hasConcept C115903868 @default.
• W1706572362 hasConcept C120314980 @default.
• W1706572362 hasConcept C142724271 @default.
• W1706572362 hasConcept C151319957 @default.
• W1706572362 hasConcept C15569618 @default.
• W1706572362 hasConcept C156325763 @default.
• W1706572362 hasConcept C184337299 @default.
• W1706572362 hasConcept C199360897 @default.
• W1706572362 hasConcept C204787440 @default.
• W1706572362 hasConcept C2775851571 @default.
• W1706572362 hasConcept C2780385302 @default.
• W1706572362 hasConcept C2780598303 @default.
• W1706572362 hasConcept C31258907 @default.
• W1706572362 hasConcept C33923547 @default.
• W1706572362 hasConcept C41008148 @default.
• W1706572362 hasConcept C55439883 @default.
• W1706572362 hasConcept C71924100 @default.
• W1706572362 hasConcept C75606506 @default.
• W1706572362 hasConcept C80444323 @default.
• W1706572362 hasConceptScore W1706572362C105795698 @default.
• W1706572362 hasConceptScore W1706572362C115903868 @default.
• W1706572362 hasConceptScore W1706572362C120314980 @default.
• W1706572362 hasConceptScore W1706572362C142724271 @default.
• W1706572362 hasConceptScore W1706572362C151319957 @default.
• W1706572362 hasConceptScore W1706572362C15569618 @default.
• W1706572362 hasConceptScore W1706572362C156325763 @default.
• W1706572362 hasConceptScore W1706572362C184337299 @default.
• W1706572362 hasConceptScore W1706572362C199360897 @default.
• W1706572362 hasConceptScore W1706572362C204787440 @default.
• W1706572362 hasConceptScore W1706572362C2775851571 @default.
• W1706572362 hasConceptScore W1706572362C2780385302 @default.
• W1706572362 hasConceptScore W1706572362C2780598303 @default.
• W1706572362 hasConceptScore W1706572362C31258907 @default.
• W1706572362 hasConceptScore W1706572362C33923547 @default.
• W1706572362 hasConceptScore W1706572362C41008148 @default.
• W1706572362 hasConceptScore W1706572362C55439883 @default.
• W1706572362 hasConceptScore W1706572362C71924100 @default.
• W1706572362 hasConceptScore W1706572362C75606506 @default.
• W1706572362 hasConceptScore W1706572362C80444323 @default.
• W1706572362 hasLocation W17065723621 @default.
• W1706572362 hasOpenAccess W1706572362 @default.
• W1706572362 hasPrimaryLocation W17065723621 @default.
• W1706572362 hasRelatedWork W174365194 @default.
• W1706572362 hasRelatedWork W1977381176 @default.
• W1706572362 hasRelatedWork W1984619980 @default.
• W1706572362 hasRelatedWork W1993993050 @default.
• W1706572362 hasRelatedWork W2008300029 @default.
• W1706572362 hasRelatedWork W2062781426 @default.
• W1706572362 hasRelatedWork W2099324152 @default.
• W1706572362 hasRelatedWork W2102985192 @default.
• W1706572362 hasRelatedWork W2127546574 @default.
• W1706572362 hasRelatedWork W2131370809 @default.
• W1706572362 hasRelatedWork W2134435263 @default.
• W1706572362 hasRelatedWork W2146138641 @default.
• W1706572362 hasRelatedWork W2184413985 @default.
• W1706572362 hasRelatedWork W2335915048 @default.
• W1706572362 hasRelatedWork W2356314914 @default.
• W1706572362 hasRelatedWork W2512968938 @default.
• W1706572362 hasRelatedWork W2602674470 @default.
• W1706572362 hasRelatedWork W3094700539 @default.
• W1706572362 hasRelatedWork W563085368 @default.
• W1706572362 hasRelatedWork W3141849695 @default.
• W1706572362 isParatext "false" @default.

• next