Matches in SemOpenAlex for { <https://semopenalex.org/work/W3136372787> ?p ?o ?g. }
- W3136372787 endingPage "86" @default.
- W3136372787 startingPage "59" @default.
- W3136372787 abstract "Abstract Type systems as a technique to analyse or control programs have been extensively studied for functional programming languages. In particular some systems allow to extract from a typing derivation a complexity bound on the program. We explore how to extend such results to parallel complexity in the setting of the pi-calculus, considered as a communication-based model for parallel computation. Two notions of time complexity are given: the total computation time without parallelism (the work) and the computation time under maximal parallelism (the span). We define operational semantics to capture those two notions, and present two type systems from which one can extract a complexity bound on a process. The type systems are inspired both by size types and by input/output types, with additional temporal information about communications." @default.
- W3136372787 created "2021-03-29" @default.
- W3136372787 creator A5019864338 @default.
- W3136372787 creator A5086169215 @default.
- W3136372787 date "2021-01-01" @default.
- W3136372787 modified "2023-09-25" @default.
- W3136372787 title "Types for Complexity of Parallel Computation in Pi-Calculus" @default.
- W3136372787 cites W1230660382 @default.
- W3136372787 cites W1426298580 @default.
- W3136372787 cites W1532326694 @default.
- W3136372787 cites W1560340731 @default.
- W3136372787 cites W1607587818 @default.
- W3136372787 cites W1658990193 @default.
- W3136372787 cites W1760139041 @default.
- W3136372787 cites W1859118644 @default.
- W3136372787 cites W2002248028 @default.
- W3136372787 cites W2010059824 @default.
- W3136372787 cites W2042360145 @default.
- W3136372787 cites W2065772939 @default.
- W3136372787 cites W2068055184 @default.
- W3136372787 cites W2073629816 @default.
- W3136372787 cites W2081551198 @default.
- W3136372787 cites W2095867533 @default.
- W3136372787 cites W2096339817 @default.
- W3136372787 cites W2171496589 @default.
- W3136372787 cites W22044255 @default.
- W3136372787 cites W2257203568 @default.
- W3136372787 cites W2258276823 @default.
- W3136372787 cites W2561236536 @default.
- W3136372787 cites W2753372626 @default.
- W3136372787 cites W2798462688 @default.
- W3136372787 cites W2912682974 @default.
- W3136372787 cites W2963595697 @default.
- W3136372787 cites W30585784 @default.
- W3136372787 cites W4206017558 @default.
- W3136372787 cites W4232327061 @default.
- W3136372787 cites W4234421261 @default.
- W3136372787 cites W4247551863 @default.
- W3136372787 cites W912214939 @default.
- W3136372787 doi "https://doi.org/10.1007/978-3-030-72019-3_3" @default.
- W3136372787 hasPubMedCentralId "https://www.ncbi.nlm.nih.gov/pmc/articles/7984540" @default.
- W3136372787 hasPublicationYear "2021" @default.
- W3136372787 type Work @default.
- W3136372787 sameAs 3136372787 @default.
- W3136372787 citedByCount "4" @default.
- W3136372787 countsByYear W31363727872021 @default.
- W3136372787 countsByYear W31363727872022 @default.
- W3136372787 crossrefType "book-chapter" @default.
- W3136372787 hasAuthorship W3136372787A5019864338 @default.
- W3136372787 hasAuthorship W3136372787A5086169215 @default.
- W3136372787 hasBestOaLocation W31363727871 @default.
- W3136372787 hasConcept C11413529 @default.
- W3136372787 hasConcept C173608175 @default.
- W3136372787 hasConcept C179799912 @default.
- W3136372787 hasConcept C184337299 @default.
- W3136372787 hasConcept C184596265 @default.
- W3136372787 hasConcept C18903297 @default.
- W3136372787 hasConcept C199360897 @default.
- W3136372787 hasConcept C2777299769 @default.
- W3136372787 hasConcept C2781172179 @default.
- W3136372787 hasConcept C2984882572 @default.
- W3136372787 hasConcept C41008148 @default.
- W3136372787 hasConcept C45374587 @default.
- W3136372787 hasConcept C80444323 @default.
- W3136372787 hasConcept C86803240 @default.
- W3136372787 hasConceptScore W3136372787C11413529 @default.
- W3136372787 hasConceptScore W3136372787C173608175 @default.
- W3136372787 hasConceptScore W3136372787C179799912 @default.
- W3136372787 hasConceptScore W3136372787C184337299 @default.
- W3136372787 hasConceptScore W3136372787C184596265 @default.
- W3136372787 hasConceptScore W3136372787C18903297 @default.
- W3136372787 hasConceptScore W3136372787C199360897 @default.
- W3136372787 hasConceptScore W3136372787C2777299769 @default.
- W3136372787 hasConceptScore W3136372787C2781172179 @default.
- W3136372787 hasConceptScore W3136372787C2984882572 @default.
- W3136372787 hasConceptScore W3136372787C41008148 @default.
- W3136372787 hasConceptScore W3136372787C45374587 @default.
- W3136372787 hasConceptScore W3136372787C80444323 @default.
- W3136372787 hasConceptScore W3136372787C86803240 @default.
- W3136372787 hasLocation W31363727871 @default.
- W3136372787 hasLocation W31363727872 @default.
- W3136372787 hasLocation W31363727873 @default.
- W3136372787 hasLocation W31363727874 @default.
- W3136372787 hasLocation W31363727875 @default.
- W3136372787 hasOpenAccess W3136372787 @default.
- W3136372787 hasPrimaryLocation W31363727871 @default.
- W3136372787 hasRelatedWork W124095581 @default.
- W3136372787 hasRelatedWork W1499261285 @default.
- W3136372787 hasRelatedWork W1893489809 @default.
- W3136372787 hasRelatedWork W1989439740 @default.
- W3136372787 hasRelatedWork W2026208217 @default.
- W3136372787 hasRelatedWork W2100229967 @default.
- W3136372787 hasRelatedWork W2284153003 @default.
- W3136372787 hasRelatedWork W2348761119 @default.
- W3136372787 hasRelatedWork W4226169298 @default.
- W3136372787 hasRelatedWork W4298032262 @default.
- W3136372787 isParatext "false" @default.
- W3136372787 isRetracted "false" @default.