Matches in SemOpenAlex for { <https://semopenalex.org/work/W3017186417> ?p ?o ?g. }
- W3017186417 endingPage "279" @default.
- W3017186417 startingPage "251" @default.
- W3017186417 abstract "Abstract A key open problem with multiparty session types (MPST) concerns their expressiveness: current MPST have inflexible choice, no existential quantification over participants, and limited parallel composition. This precludes many real protocols to be represented by MPST. To overcome these bottlenecks of MPST, we explore a new technique using weak bisimilarity between global types and endpoint types, which guarantees deadlock-freedom and absence of protocol violations. Based on a process algebraic framework, we present well-formed conditions for global types that guarantee weak bisimilarity between a global type and its endpoint types and prove their check is decidable. Our main practical result, obtained through benchmarks, is that our well-formedness conditions can be checked orders of magnitude faster than directly checking weak bisimilarity using a state-of-the-art model checker." @default.
- W3017186417 created "2020-04-24" @default.
- W3017186417 creator A5049418170 @default.
- W3017186417 creator A5054171989 @default.
- W3017186417 date "2020-01-01" @default.
- W3017186417 modified "2023-10-15" @default.
- W3017186417 title "Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types" @default.
- W3017186417 cites W1500016649 @default.
- W3017186417 cites W1543606432 @default.
- W3017186417 cites W157536195 @default.
- W3017186417 cites W1580139810 @default.
- W3017186417 cites W1591694044 @default.
- W3017186417 cites W1599340713 @default.
- W3017186417 cites W169399732 @default.
- W3017186417 cites W18866292 @default.
- W3017186417 cites W1970789400 @default.
- W3017186417 cites W1972478730 @default.
- W3017186417 cites W1989371806 @default.
- W3017186417 cites W2000882268 @default.
- W3017186417 cites W2003314287 @default.
- W3017186417 cites W2025970201 @default.
- W3017186417 cites W2046488919 @default.
- W3017186417 cites W2075426808 @default.
- W3017186417 cites W2106396972 @default.
- W3017186417 cites W2119992090 @default.
- W3017186417 cites W2130413791 @default.
- W3017186417 cites W2134200739 @default.
- W3017186417 cites W2165294971 @default.
- W3017186417 cites W2325347394 @default.
- W3017186417 cites W2329205359 @default.
- W3017186417 cites W2464556723 @default.
- W3017186417 cites W2482080645 @default.
- W3017186417 cites W2548092361 @default.
- W3017186417 cites W2553870630 @default.
- W3017186417 cites W2584381671 @default.
- W3017186417 cites W2603624497 @default.
- W3017186417 cites W2610085676 @default.
- W3017186417 cites W2626089800 @default.
- W3017186417 cites W2663462053 @default.
- W3017186417 cites W2748872428 @default.
- W3017186417 cites W2787969571 @default.
- W3017186417 cites W2795275488 @default.
- W3017186417 cites W2800277550 @default.
- W3017186417 cites W2899726318 @default.
- W3017186417 cites W2906701300 @default.
- W3017186417 cites W2931334490 @default.
- W3017186417 cites W2954503119 @default.
- W3017186417 cites W2958902825 @default.
- W3017186417 cites W2965154247 @default.
- W3017186417 cites W3005258739 @default.
- W3017186417 cites W3008328790 @default.
- W3017186417 cites W3009331296 @default.
- W3017186417 cites W4205907492 @default.
- W3017186417 cites W4230290951 @default.
- W3017186417 cites W4248818693 @default.
- W3017186417 cites W4250403963 @default.
- W3017186417 doi "https://doi.org/10.1007/978-3-030-44914-8_10" @default.
- W3017186417 hasPublicationYear "2020" @default.
- W3017186417 type Work @default.
- W3017186417 sameAs 3017186417 @default.
- W3017186417 citedByCount "10" @default.
- W3017186417 countsByYear W30171864172020 @default.
- W3017186417 countsByYear W30171864172021 @default.
- W3017186417 countsByYear W30171864172022 @default.
- W3017186417 countsByYear W30171864172023 @default.
- W3017186417 crossrefType "book-chapter" @default.
- W3017186417 hasAuthorship W3017186417A5049418170 @default.
- W3017186417 hasAuthorship W3017186417A5054171989 @default.
- W3017186417 hasBestOaLocation W30171864171 @default.
- W3017186417 hasConcept C110251889 @default.
- W3017186417 hasConcept C120314980 @default.
- W3017186417 hasConcept C136764020 @default.
- W3017186417 hasConcept C153269930 @default.
- W3017186417 hasConcept C159023740 @default.
- W3017186417 hasConcept C161771561 @default.
- W3017186417 hasConcept C18903297 @default.
- W3017186417 hasConcept C193702766 @default.
- W3017186417 hasConcept C26517878 @default.
- W3017186417 hasConcept C2777299769 @default.
- W3017186417 hasConcept C2779182362 @default.
- W3017186417 hasConcept C38652104 @default.
- W3017186417 hasConcept C41008148 @default.
- W3017186417 hasConcept C80444323 @default.
- W3017186417 hasConcept C86803240 @default.
- W3017186417 hasConceptScore W3017186417C110251889 @default.
- W3017186417 hasConceptScore W3017186417C120314980 @default.
- W3017186417 hasConceptScore W3017186417C136764020 @default.
- W3017186417 hasConceptScore W3017186417C153269930 @default.
- W3017186417 hasConceptScore W3017186417C159023740 @default.
- W3017186417 hasConceptScore W3017186417C161771561 @default.
- W3017186417 hasConceptScore W3017186417C18903297 @default.
- W3017186417 hasConceptScore W3017186417C193702766 @default.
- W3017186417 hasConceptScore W3017186417C26517878 @default.
- W3017186417 hasConceptScore W3017186417C2777299769 @default.
- W3017186417 hasConceptScore W3017186417C2779182362 @default.
- W3017186417 hasConceptScore W3017186417C38652104 @default.
- W3017186417 hasConceptScore W3017186417C41008148 @default.
- W3017186417 hasConceptScore W3017186417C80444323 @default.