Matches in SemOpenAlex for { <https://semopenalex.org/work/W3016583429> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W3016583429 endingPage "284" @default.
- W3016583429 startingPage "266" @default.
- W3016583429 abstract "This paper presents Discourje: a runtime verification framework for communication protocols in Clojure. Discourje guarantees safety of protocol implementations relative to specifications, based on an expressive new version of multiparty session types. The framework has a formal foundation and is itself implemented in Clojure to offer a seamless specification–implementation experience. Benchmarks show Discourje’s overhead can be less than 5% for real/existing concurrent programs." @default.
- W3016583429 created "2020-04-24" @default.
- W3016583429 creator A5049418170 @default.
- W3016583429 creator A5069431286 @default.
- W3016583429 date "2020-01-01" @default.
- W3016583429 modified "2023-09-25" @default.
- W3016583429 title "Discourje: Runtime Verification of Communication Protocols in Clojure" @default.
- W3016583429 cites W1545681762 @default.
- W3016583429 cites W1580139810 @default.
- W3016583429 cites W1606177908 @default.
- W3016583429 cites W1611165480 @default.
- W3016583429 cites W169399732 @default.
- W3016583429 cites W1780016311 @default.
- W3016583429 cites W1820726602 @default.
- W3016583429 cites W1945354265 @default.
- W3016583429 cites W1970789400 @default.
- W3016583429 cites W1985161650 @default.
- W3016583429 cites W1991621238 @default.
- W3016583429 cites W2003314287 @default.
- W3016583429 cites W2005274596 @default.
- W3016583429 cites W2070310827 @default.
- W3016583429 cites W2106396972 @default.
- W3016583429 cites W2112320167 @default.
- W3016583429 cites W2118473919 @default.
- W3016583429 cites W2183621552 @default.
- W3016583429 cites W2296352734 @default.
- W3016583429 cites W2329205359 @default.
- W3016583429 cites W2482080645 @default.
- W3016583429 cites W2512167970 @default.
- W3016583429 cites W2584381671 @default.
- W3016583429 cites W2603624497 @default.
- W3016583429 cites W2626089800 @default.
- W3016583429 cites W2787969571 @default.
- W3016583429 cites W2795275488 @default.
- W3016583429 cites W2906701300 @default.
- W3016583429 cites W2930652247 @default.
- W3016583429 cites W2977532635 @default.
- W3016583429 cites W3008328790 @default.
- W3016583429 cites W3012195709 @default.
- W3016583429 cites W3017186417 @default.
- W3016583429 cites W4205907492 @default.
- W3016583429 cites W4239035626 @default.
- W3016583429 cites W4247441475 @default.
- W3016583429 doi "https://doi.org/10.1007/978-3-030-45190-5_15" @default.
- W3016583429 hasPublicationYear "2020" @default.
- W3016583429 type Work @default.
- W3016583429 sameAs 3016583429 @default.
- W3016583429 citedByCount "5" @default.
- W3016583429 countsByYear W30165834292020 @default.
- W3016583429 countsByYear W30165834292021 @default.
- W3016583429 countsByYear W30165834292022 @default.
- W3016583429 crossrefType "book-chapter" @default.
- W3016583429 hasAuthorship W3016583429A5049418170 @default.
- W3016583429 hasAuthorship W3016583429A5069431286 @default.
- W3016583429 hasBestOaLocation W30165834291 @default.
- W3016583429 hasConcept C136764020 @default.
- W3016583429 hasConcept C142724271 @default.
- W3016583429 hasConcept C199360897 @default.
- W3016583429 hasConcept C204787440 @default.
- W3016583429 hasConcept C26713055 @default.
- W3016583429 hasConcept C2779182362 @default.
- W3016583429 hasConcept C2779960059 @default.
- W3016583429 hasConcept C2780385302 @default.
- W3016583429 hasConcept C41008148 @default.
- W3016583429 hasConcept C71924100 @default.
- W3016583429 hasConceptScore W3016583429C136764020 @default.
- W3016583429 hasConceptScore W3016583429C142724271 @default.
- W3016583429 hasConceptScore W3016583429C199360897 @default.
- W3016583429 hasConceptScore W3016583429C204787440 @default.
- W3016583429 hasConceptScore W3016583429C26713055 @default.
- W3016583429 hasConceptScore W3016583429C2779182362 @default.
- W3016583429 hasConceptScore W3016583429C2779960059 @default.
- W3016583429 hasConceptScore W3016583429C2780385302 @default.
- W3016583429 hasConceptScore W3016583429C41008148 @default.
- W3016583429 hasConceptScore W3016583429C71924100 @default.
- W3016583429 hasLocation W30165834291 @default.
- W3016583429 hasLocation W30165834292 @default.
- W3016583429 hasLocation W30165834293 @default.
- W3016583429 hasOpenAccess W3016583429 @default.
- W3016583429 hasPrimaryLocation W30165834291 @default.
- W3016583429 hasRelatedWork W1554764448 @default.
- W3016583429 hasRelatedWork W1565501066 @default.
- W3016583429 hasRelatedWork W1596157658 @default.
- W3016583429 hasRelatedWork W1984757784 @default.
- W3016583429 hasRelatedWork W2028024605 @default.
- W3016583429 hasRelatedWork W2083338789 @default.
- W3016583429 hasRelatedWork W2090686886 @default.
- W3016583429 hasRelatedWork W2112668038 @default.
- W3016583429 hasRelatedWork W2808750505 @default.
- W3016583429 hasRelatedWork W3087157779 @default.
- W3016583429 isParatext "false" @default.
- W3016583429 isRetracted "false" @default.
- W3016583429 magId "3016583429" @default.
- W3016583429 workType "book-chapter" @default.