Matches in SemOpenAlex for { <https://semopenalex.org/work/W1548773923> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1548773923 endingPage "69" @default.
- W1548773923 startingPage "51" @default.
- W1548773923 abstract "In previous work we presented a foundational calculus for spatially distributed computing based on intuitionistic modal logic. With the modalities □ and $Diamond$ we were able to capture two key invariants: the mobility of portable code and the locality of fixed resources. This work investigates issues in distributed control flow through a similar propositions-as-types interpretation of classical modal logic. The resulting programming language is enhanced with the notion of a network-wide continuation, through which we can give computational interpretation of classical theorems (such as $Box A equiv lnot Diamond lnot A$ ). Such continuations are also useful primitives for building higher-level constructs of distributed computing. The resulting system is elegant, logically faithful, and computationally reasonable." @default.
- W1548773923 created "2016-06-24" @default.
- W1548773923 creator A5010738131 @default.
- W1548773923 creator A5028720578 @default.
- W1548773923 creator A5045900536 @default.
- W1548773923 date "2005-01-01" @default.
- W1548773923 modified "2023-10-17" @default.
- W1548773923 title "Distributed Control Flow with Classical Modal Logic" @default.
- W1548773923 cites W1480580285 @default.
- W1548773923 cites W1495087637 @default.
- W1548773923 cites W1727609483 @default.
- W1548773923 cites W2008920425 @default.
- W1548773923 cites W220713430 @default.
- W1548773923 cites W2911865844 @default.
- W1548773923 cites W4238692953 @default.
- W1548773923 doi "https://doi.org/10.1007/11538363_6" @default.
- W1548773923 hasPublicationYear "2005" @default.
- W1548773923 type Work @default.
- W1548773923 sameAs 1548773923 @default.
- W1548773923 citedByCount "17" @default.
- W1548773923 countsByYear W15487739232012 @default.
- W1548773923 countsByYear W15487739232016 @default.
- W1548773923 countsByYear W15487739232018 @default.
- W1548773923 countsByYear W15487739232020 @default.
- W1548773923 countsByYear W15487739232023 @default.
- W1548773923 crossrefType "book-chapter" @default.
- W1548773923 hasAuthorship W1548773923A5010738131 @default.
- W1548773923 hasAuthorship W1548773923A5028720578 @default.
- W1548773923 hasAuthorship W1548773923A5045900536 @default.
- W1548773923 hasBestOaLocation W15487739232 @default.
- W1548773923 hasConcept C11413529 @default.
- W1548773923 hasConcept C128838566 @default.
- W1548773923 hasConcept C138885662 @default.
- W1548773923 hasConcept C185592680 @default.
- W1548773923 hasConcept C188027245 @default.
- W1548773923 hasConcept C199343813 @default.
- W1548773923 hasConcept C199360897 @default.
- W1548773923 hasConcept C27508121 @default.
- W1548773923 hasConcept C2777686260 @default.
- W1548773923 hasConcept C2779808786 @default.
- W1548773923 hasConcept C2780654840 @default.
- W1548773923 hasConcept C41008148 @default.
- W1548773923 hasConcept C41895202 @default.
- W1548773923 hasConcept C527412718 @default.
- W1548773923 hasConcept C71139939 @default.
- W1548773923 hasConcept C71924100 @default.
- W1548773923 hasConcept C80444323 @default.
- W1548773923 hasConcept C88626702 @default.
- W1548773923 hasConceptScore W1548773923C11413529 @default.
- W1548773923 hasConceptScore W1548773923C128838566 @default.
- W1548773923 hasConceptScore W1548773923C138885662 @default.
- W1548773923 hasConceptScore W1548773923C185592680 @default.
- W1548773923 hasConceptScore W1548773923C188027245 @default.
- W1548773923 hasConceptScore W1548773923C199343813 @default.
- W1548773923 hasConceptScore W1548773923C199360897 @default.
- W1548773923 hasConceptScore W1548773923C27508121 @default.
- W1548773923 hasConceptScore W1548773923C2777686260 @default.
- W1548773923 hasConceptScore W1548773923C2779808786 @default.
- W1548773923 hasConceptScore W1548773923C2780654840 @default.
- W1548773923 hasConceptScore W1548773923C41008148 @default.
- W1548773923 hasConceptScore W1548773923C41895202 @default.
- W1548773923 hasConceptScore W1548773923C527412718 @default.
- W1548773923 hasConceptScore W1548773923C71139939 @default.
- W1548773923 hasConceptScore W1548773923C71924100 @default.
- W1548773923 hasConceptScore W1548773923C80444323 @default.
- W1548773923 hasConceptScore W1548773923C88626702 @default.
- W1548773923 hasLocation W15487739231 @default.
- W1548773923 hasLocation W15487739232 @default.
- W1548773923 hasLocation W15487739233 @default.
- W1548773923 hasOpenAccess W1548773923 @default.
- W1548773923 hasPrimaryLocation W15487739231 @default.
- W1548773923 hasRelatedWork W174053435 @default.
- W1548773923 hasRelatedWork W2068969339 @default.
- W1548773923 hasRelatedWork W2074638034 @default.
- W1548773923 hasRelatedWork W2540322980 @default.
- W1548773923 hasRelatedWork W2952657391 @default.
- W1548773923 hasRelatedWork W2962420748 @default.
- W1548773923 hasRelatedWork W3137189469 @default.
- W1548773923 hasRelatedWork W3146823024 @default.
- W1548773923 hasRelatedWork W4256443165 @default.
- W1548773923 hasRelatedWork W2789178056 @default.
- W1548773923 isParatext "false" @default.
- W1548773923 isRetracted "false" @default.
- W1548773923 magId "1548773923" @default.
- W1548773923 workType "book-chapter" @default.