FRINK Linked Data Fragments server

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

• W3100138532 endingPage "440" @default.
• W3100138532 startingPage "424" @default.
• W3100138532 abstract "Choreographies are global descriptions of interactions among concurrent components, most notably used in the settings of verification and synthesis of correct-by-construction software. They require a top-down approach: programmers first write choreographies, and then use them to verify or synthesize their programs. However, most software does not come with choreographies yet, which prevents their application. To attack this problem, previous work investigated choreography extraction, which automatically constructs a choreography that describes the behavior of a given set of programs or protocol specifications. We propose a new extraction methodology that improves on the state of the art: we can deal with programs that are equipped with state and internal computation; time complexity is dramatically better; and we capture programs that work by exploiting asynchronous communication." @default.
• W3100138532 created "2020-11-23" @default.
• W3100138532 creator A5000210653 @default.
• W3100138532 creator A5000566520 @default.
• W3100138532 creator A5082561369 @default.
• W3100138532 date "2017-01-01" @default.
• W3100138532 modified "2023-09-27" @default.
• W3100138532 title "The Paths to Choreography Extraction" @default.
• W3100138532 cites W1261671639 @default.
• W3100138532 cites W1599340713 @default.
• W3100138532 cites W18866292 @default.
• W3100138532 cites W1976385845 @default.
• W3100138532 cites W1991621238 @default.
• W3100138532 cites W199277246 @default.
• W3100138532 cites W2022360370 @default.
• W3100138532 cites W2025970201 @default.
• W3100138532 cites W2027901440 @default.
• W3100138532 cites W2046488919 @default.
• W3100138532 cites W2076742248 @default.
• W3100138532 cites W2141928434 @default.
• W3100138532 cites W2289301276 @default.
• W3100138532 cites W2325347394 @default.
• W3100138532 cites W2342200509 @default.
• W3100138532 cites W2963418352 @default.
• W3100138532 cites W3005258739 @default.
• W3100138532 cites W3123236802 @default.
• W3100138532 cites W4232794147 @default.
• W3100138532 doi "https://doi.org/10.1007/978-3-662-54458-7_25" @default.
• W3100138532 hasPublicationYear "2017" @default.
• W3100138532 type Work @default.
• W3100138532 sameAs 3100138532 @default.
• W3100138532 citedByCount "10" @default.
• W3100138532 countsByYear W31001385322017 @default.
• W3100138532 countsByYear W31001385322018 @default.
• W3100138532 countsByYear W31001385322019 @default.
• W3100138532 countsByYear W31001385322022 @default.
• W3100138532 countsByYear W31001385322023 @default.
• W3100138532 crossrefType "book-chapter" @default.
• W3100138532 hasAuthorship W3100138532A5000210653 @default.
• W3100138532 hasAuthorship W3100138532A5000566520 @default.
• W3100138532 hasAuthorship W3100138532A5082561369 @default.
• W3100138532 hasBestOaLocation W31001385323 @default.
• W3100138532 hasConcept C115903868 @default.
• W3100138532 hasConcept C120314980 @default.
• W3100138532 hasConcept C124952713 @default.
• W3100138532 hasConcept C142362112 @default.
• W3100138532 hasConcept C142724271 @default.
• W3100138532 hasConcept C147446459 @default.
• W3100138532 hasConcept C151319957 @default.
• W3100138532 hasConcept C177264268 @default.
• W3100138532 hasConcept C183920142 @default.
• W3100138532 hasConcept C199360897 @default.
• W3100138532 hasConcept C204787440 @default.
• W3100138532 hasConcept C2777904410 @default.
• W3100138532 hasConcept C2780385302 @default.
• W3100138532 hasConcept C31258907 @default.
• W3100138532 hasConcept C41008148 @default.
• W3100138532 hasConcept C45374587 @default.
• W3100138532 hasConcept C48103436 @default.
• W3100138532 hasConcept C71924100 @default.
• W3100138532 hasConceptScore W3100138532C115903868 @default.
• W3100138532 hasConceptScore W3100138532C120314980 @default.
• W3100138532 hasConceptScore W3100138532C124952713 @default.
• W3100138532 hasConceptScore W3100138532C142362112 @default.
• W3100138532 hasConceptScore W3100138532C142724271 @default.
• W3100138532 hasConceptScore W3100138532C147446459 @default.
• W3100138532 hasConceptScore W3100138532C151319957 @default.
• W3100138532 hasConceptScore W3100138532C177264268 @default.
• W3100138532 hasConceptScore W3100138532C183920142 @default.
• W3100138532 hasConceptScore W3100138532C199360897 @default.
• W3100138532 hasConceptScore W3100138532C204787440 @default.
• W3100138532 hasConceptScore W3100138532C2777904410 @default.
• W3100138532 hasConceptScore W3100138532C2780385302 @default.
• W3100138532 hasConceptScore W3100138532C31258907 @default.
• W3100138532 hasConceptScore W3100138532C41008148 @default.
• W3100138532 hasConceptScore W3100138532C45374587 @default.
• W3100138532 hasConceptScore W3100138532C48103436 @default.
• W3100138532 hasConceptScore W3100138532C71924100 @default.
• W3100138532 hasLocation W31001385321 @default.
• W3100138532 hasLocation W31001385322 @default.
• W3100138532 hasLocation W31001385323 @default.
• W3100138532 hasLocation W31001385324 @default.
• W3100138532 hasLocation W31001385325 @default.
• W3100138532 hasLocation W31001385326 @default.
• W3100138532 hasOpenAccess W3100138532 @default.
• W3100138532 hasPrimaryLocation W31001385321 @default.
• W3100138532 hasRelatedWork W2006363920 @default.
• W3100138532 hasRelatedWork W2099002002 @default.
• W3100138532 hasRelatedWork W2112962394 @default.
• W3100138532 hasRelatedWork W2118300983 @default.
• W3100138532 hasRelatedWork W2166247150 @default.
• W3100138532 hasRelatedWork W2364921833 @default.
• W3100138532 hasRelatedWork W2367372208 @default.
• W3100138532 hasRelatedWork W2475836838 @default.
• W3100138532 hasRelatedWork W4243252198 @default.
• W3100138532 hasRelatedWork W4386794602 @default.
• W3100138532 isParatext "false" @default.
• W3100138532 isRetracted "false" @default.

• next