Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912682974> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2912682974 endingPage "30" @default.
- W2912682974 startingPage "1" @default.
- W2912682974 abstract "We study the problem of parametric parallel complexity analysis of concurrent, message-passing programs. To make the analysis local and compositional, it is based on a conservative extension of binary session types, which structure the type and direction of communication between processes and stand in a Curry-Howard correspondence with intuitionistic linear logic. The main innovation is to enrich session types with the temporal modalities next (◯ A ), always (□ A ), and eventually (◇ A ), to additionally prescribe the timing of the exchanged messages in a way that is precise yet flexible. The resulting temporal session types uniformly express properties such as the message rate of a stream, the latency of a pipeline, the response time of a concurrent queue, or the span of a fork/join parallel program. The analysis is parametric in the cost model and the presentation focuses on communication cost as a concrete example. The soundness of the analysis is established by proofs of progress and type preservation using a timed multiset rewriting semantics. Representative examples illustrate the scope and usability of the approach." @default.
- W2912682974 created "2019-02-21" @default.
- W2912682974 creator A5014532006 @default.
- W2912682974 creator A5021476649 @default.
- W2912682974 creator A5030491260 @default.
- W2912682974 date "2018-07-30" @default.
- W2912682974 modified "2023-10-17" @default.
- W2912682974 title "Parallel complexity analysis with temporal session types" @default.
- W2912682974 cites W1509279433 @default.
- W2912682974 cites W1537467263 @default.
- W2912682974 cites W15833160 @default.
- W2912682974 cites W183006709 @default.
- W2912682974 cites W1983587324 @default.
- W2912682974 cites W1999161312 @default.
- W2912682974 cites W2006795057 @default.
- W2912682974 cites W2020692742 @default.
- W2912682974 cites W2023808162 @default.
- W2912682974 cites W2025260761 @default.
- W2912682974 cites W2044872254 @default.
- W2912682974 cites W2065772939 @default.
- W2912682974 cites W2081938726 @default.
- W2912682974 cites W2088962847 @default.
- W2912682974 cites W2094647969 @default.
- W2912682974 cites W2095867533 @default.
- W2912682974 cites W2109863363 @default.
- W2912682974 cites W2125415493 @default.
- W2912682974 cites W2153557668 @default.
- W2912682974 cites W2158789193 @default.
- W2912682974 cites W2258276823 @default.
- W2912682974 cites W2489156759 @default.
- W2912682974 cites W2547267640 @default.
- W2912682974 cites W2565334366 @default.
- W2912682974 cites W2610085676 @default.
- W2912682974 cites W2963595697 @default.
- W2912682974 cites W4241140060 @default.
- W2912682974 cites W776882319 @default.
- W2912682974 cites W912214939 @default.
- W2912682974 doi "https://doi.org/10.1145/3236786" @default.
- W2912682974 hasPublicationYear "2018" @default.
- W2912682974 type Work @default.
- W2912682974 sameAs 2912682974 @default.
- W2912682974 citedByCount "23" @default.
- W2912682974 countsByYear W29126829742017 @default.
- W2912682974 countsByYear W29126829742018 @default.
- W2912682974 countsByYear W29126829742019 @default.
- W2912682974 countsByYear W29126829742020 @default.
- W2912682974 countsByYear W29126829742021 @default.
- W2912682974 countsByYear W29126829742022 @default.
- W2912682974 countsByYear W29126829742023 @default.
- W2912682974 crossrefType "journal-article" @default.
- W2912682974 hasAuthorship W2912682974A5014532006 @default.
- W2912682974 hasAuthorship W2912682974A5021476649 @default.
- W2912682974 hasAuthorship W2912682974A5030491260 @default.
- W2912682974 hasBestOaLocation W29126829741 @default.
- W2912682974 hasConcept C136764020 @default.
- W2912682974 hasConcept C193702766 @default.
- W2912682974 hasConcept C199360897 @default.
- W2912682974 hasConcept C2779182362 @default.
- W2912682974 hasConcept C39920170 @default.
- W2912682974 hasConcept C41008148 @default.
- W2912682974 hasConcept C80444323 @default.
- W2912682974 hasConceptScore W2912682974C136764020 @default.
- W2912682974 hasConceptScore W2912682974C193702766 @default.
- W2912682974 hasConceptScore W2912682974C199360897 @default.
- W2912682974 hasConceptScore W2912682974C2779182362 @default.
- W2912682974 hasConceptScore W2912682974C39920170 @default.
- W2912682974 hasConceptScore W2912682974C41008148 @default.
- W2912682974 hasConceptScore W2912682974C80444323 @default.
- W2912682974 hasIssue "ICFP" @default.
- W2912682974 hasLocation W29126829741 @default.
- W2912682974 hasLocation W29126829742 @default.
- W2912682974 hasOpenAccess W2912682974 @default.
- W2912682974 hasPrimaryLocation W29126829741 @default.
- W2912682974 hasRelatedWork W18781025 @default.
- W2912682974 hasRelatedWork W188034648 @default.
- W2912682974 hasRelatedWork W1969483203 @default.
- W2912682974 hasRelatedWork W2000943029 @default.
- W2912682974 hasRelatedWork W2155728227 @default.
- W2912682974 hasRelatedWork W2293004035 @default.
- W2912682974 hasRelatedWork W2466303427 @default.
- W2912682974 hasRelatedWork W2950376466 @default.
- W2912682974 hasRelatedWork W2952519015 @default.
- W2912682974 hasRelatedWork W4302559785 @default.
- W2912682974 hasVolume "2" @default.
- W2912682974 isParatext "false" @default.
- W2912682974 isRetracted "false" @default.
- W2912682974 magId "2912682974" @default.
- W2912682974 workType "article" @default.