Matches in SemOpenAlex for { <https://semopenalex.org/work/W2092403313> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2092403313 abstract "The global interaction behavior in message-based systems can be specified as a finite-state machine defining acceptable sequences of messages exchanged by a group of peers. Realizability analysis determines if there exist local implementations for each peer, such that their composition produces exactly the intended global behavior. Although there are existing sufficient conditions for realizability, we show that these earlier results all fail for a particular class of specifications called arbitrary-initiator protocols. We present a novel algorithm for deciding realizability by computing a finite-state model that keeps track of the information about the global state of a conversation protocol that each peer can deduce from the messages it sends and receives. By searching for disagreements between each peer's deduced states, we provide a sound analysis for realizability that correctly classifies realizability of arbitrary-initiator protocols." @default.
- W2092403313 created "2016-06-24" @default.
- W2092403313 creator A5022249773 @default.
- W2092403313 creator A5039991493 @default.
- W2092403313 date "2010-11-07" @default.
- W2092403313 modified "2023-10-17" @default.
- W2092403313 title "Realizability analysis for message-based interactions using shared-state projections" @default.
- W2092403313 cites W1533950743 @default.
- W2092403313 cites W1556194431 @default.
- W2092403313 cites W1564561023 @default.
- W2092403313 cites W1572492890 @default.
- W2092403313 cites W1583751030 @default.
- W2092403313 cites W1984691967 @default.
- W2092403313 cites W2018192350 @default.
- W2092403313 cites W2039677165 @default.
- W2092403313 cites W2040105559 @default.
- W2092403313 cites W2083355374 @default.
- W2092403313 cites W2111291256 @default.
- W2092403313 cites W2123160677 @default.
- W2092403313 cites W2137186143 @default.
- W2092403313 cites W2144531585 @default.
- W2092403313 doi "https://doi.org/10.1145/1882291.1882298" @default.
- W2092403313 hasPublicationYear "2010" @default.
- W2092403313 type Work @default.
- W2092403313 sameAs 2092403313 @default.
- W2092403313 citedByCount "21" @default.
- W2092403313 countsByYear W20924033132012 @default.
- W2092403313 countsByYear W20924033132013 @default.
- W2092403313 countsByYear W20924033132014 @default.
- W2092403313 countsByYear W20924033132015 @default.
- W2092403313 countsByYear W20924033132016 @default.
- W2092403313 countsByYear W20924033132018 @default.
- W2092403313 countsByYear W20924033132019 @default.
- W2092403313 countsByYear W20924033132022 @default.
- W2092403313 crossrefType "proceedings-article" @default.
- W2092403313 hasAuthorship W2092403313A5022249773 @default.
- W2092403313 hasAuthorship W2092403313A5039991493 @default.
- W2092403313 hasBestOaLocation W20924033132 @default.
- W2092403313 hasConcept C120314980 @default.
- W2092403313 hasConcept C199360897 @default.
- W2092403313 hasConcept C2776378722 @default.
- W2092403313 hasConcept C2778291847 @default.
- W2092403313 hasConcept C31258907 @default.
- W2092403313 hasConcept C41008148 @default.
- W2092403313 hasConcept C48103436 @default.
- W2092403313 hasConcept C68649174 @default.
- W2092403313 hasConcept C80444323 @default.
- W2092403313 hasConceptScore W2092403313C120314980 @default.
- W2092403313 hasConceptScore W2092403313C199360897 @default.
- W2092403313 hasConceptScore W2092403313C2776378722 @default.
- W2092403313 hasConceptScore W2092403313C2778291847 @default.
- W2092403313 hasConceptScore W2092403313C31258907 @default.
- W2092403313 hasConceptScore W2092403313C41008148 @default.
- W2092403313 hasConceptScore W2092403313C48103436 @default.
- W2092403313 hasConceptScore W2092403313C68649174 @default.
- W2092403313 hasConceptScore W2092403313C80444323 @default.
- W2092403313 hasLocation W20924033131 @default.
- W2092403313 hasLocation W20924033132 @default.
- W2092403313 hasOpenAccess W2092403313 @default.
- W2092403313 hasPrimaryLocation W20924033131 @default.
- W2092403313 hasRelatedWork W1485627940 @default.
- W2092403313 hasRelatedWork W1596201972 @default.
- W2092403313 hasRelatedWork W1598943142 @default.
- W2092403313 hasRelatedWork W1986253068 @default.
- W2092403313 hasRelatedWork W1986439517 @default.
- W2092403313 hasRelatedWork W2152433827 @default.
- W2092403313 hasRelatedWork W2160425906 @default.
- W2092403313 hasRelatedWork W2348852432 @default.
- W2092403313 hasRelatedWork W2385146268 @default.
- W2092403313 hasRelatedWork W4313054100 @default.
- W2092403313 isParatext "false" @default.
- W2092403313 isRetracted "false" @default.
- W2092403313 magId "2092403313" @default.
- W2092403313 workType "article" @default.