FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1484018110> ?p ?o ?g. }

• W1484018110 endingPage "444" @default.
• W1484018110 startingPage "404" @default.
• W1484018110 abstract "We introduce an ambient-based calculus that combines ambient mobility with process mobility, uses group names to collect ambients with homologous features, and exploits co-moves and runtime type checking to implement flexible policies for controlling process activities. Types rely on group names and, to support dynamicity, may depend on group variables. Policies can dynamically change also through installation of co-moves. The compliance with ambient policies can be checked locally to the ambients and requires no global assumptions. We prove that the type assignment system and the operational semantics of the calculus are ‘sound’, and define a sound and complete type inference algorithm which, when applied to terms whose type decorations only express the desired policies, computes the minimal type annotations required for their execution. As an application of our calculus, we present a couple of examples and linger on the setting up of policies for controlling the activities of the entities involved." @default.
• W1484018110 created "2016-06-24" @default.
• W1484018110 creator A5003588595 @default.
• W1484018110 creator A5018220893 @default.
• W1484018110 creator A5018907550 @default.
• W1484018110 creator A5053585862 @default.
• W1484018110 creator A5066761763 @default.
• W1484018110 date "2005-01-01" @default.
• W1484018110 modified "2023-10-16" @default.
• W1484018110 title "A Mobility Calculus with Local and Dependent Types" @default.
• W1484018110 cites W1495547129 @default.
• W1484018110 cites W1498850343 @default.
• W1484018110 cites W1503918819 @default.
• W1484018110 cites W1505781641 @default.
• W1484018110 cites W1510917942 @default.
• W1484018110 cites W1526751176 @default.
• W1484018110 cites W1552541265 @default.
• W1484018110 cites W1595769750 @default.
• W1484018110 cites W1605033550 @default.
• W1484018110 cites W1848345729 @default.
• W1484018110 cites W1999770529 @default.
• W1484018110 cites W2004048608 @default.
• W1484018110 cites W2031844066 @default.
• W1484018110 cites W2034711041 @default.
• W1484018110 cites W2087663894 @default.
• W1484018110 cites W2091667373 @default.
• W1484018110 cites W2119972514 @default.
• W1484018110 cites W2132562915 @default.
• W1484018110 cites W2136134319 @default.
• W1484018110 cites W2156688573 @default.
• W1484018110 cites W2161353020 @default.
• W1484018110 cites W2164792857 @default.
• W1484018110 cites W2912003593 @default.
• W1484018110 cites W2974393314 @default.
• W1484018110 doi "https://doi.org/10.1007/11601548_20" @default.
• W1484018110 hasPublicationYear "2005" @default.
• W1484018110 type Work @default.
• W1484018110 sameAs 1484018110 @default.
• W1484018110 citedByCount "8" @default.
• W1484018110 crossrefType "book-chapter" @default.
• W1484018110 hasAuthorship W1484018110A5003588595 @default.
• W1484018110 hasAuthorship W1484018110A5018220893 @default.
• W1484018110 hasAuthorship W1484018110A5018907550 @default.
• W1484018110 hasAuthorship W1484018110A5053585862 @default.
• W1484018110 hasAuthorship W1484018110A5066761763 @default.
• W1484018110 hasBestOaLocation W14840181102 @default.
• W1484018110 hasConcept C120314980 @default.
• W1484018110 hasConcept C154945302 @default.
• W1484018110 hasConcept C161771561 @default.
• W1484018110 hasConcept C165696696 @default.
• W1484018110 hasConcept C184337299 @default.
• W1484018110 hasConcept C18903297 @default.
• W1484018110 hasConcept C198370458 @default.
• W1484018110 hasConcept C199343813 @default.
• W1484018110 hasConcept C199360897 @default.
• W1484018110 hasConcept C2776214188 @default.
• W1484018110 hasConcept C2777299769 @default.
• W1484018110 hasConcept C2777686260 @default.
• W1484018110 hasConcept C2984882572 @default.
• W1484018110 hasConcept C38652104 @default.
• W1484018110 hasConcept C41008148 @default.
• W1484018110 hasConcept C71924100 @default.
• W1484018110 hasConcept C80444323 @default.
• W1484018110 hasConcept C86803240 @default.
• W1484018110 hasConcept C98045186 @default.
• W1484018110 hasConceptScore W1484018110C120314980 @default.
• W1484018110 hasConceptScore W1484018110C154945302 @default.
• W1484018110 hasConceptScore W1484018110C161771561 @default.
• W1484018110 hasConceptScore W1484018110C165696696 @default.
• W1484018110 hasConceptScore W1484018110C184337299 @default.
• W1484018110 hasConceptScore W1484018110C18903297 @default.
• W1484018110 hasConceptScore W1484018110C198370458 @default.
• W1484018110 hasConceptScore W1484018110C199343813 @default.
• W1484018110 hasConceptScore W1484018110C199360897 @default.
• W1484018110 hasConceptScore W1484018110C2776214188 @default.
• W1484018110 hasConceptScore W1484018110C2777299769 @default.
• W1484018110 hasConceptScore W1484018110C2777686260 @default.
• W1484018110 hasConceptScore W1484018110C2984882572 @default.
• W1484018110 hasConceptScore W1484018110C38652104 @default.
• W1484018110 hasConceptScore W1484018110C41008148 @default.
• W1484018110 hasConceptScore W1484018110C71924100 @default.
• W1484018110 hasConceptScore W1484018110C80444323 @default.
• W1484018110 hasConceptScore W1484018110C86803240 @default.
• W1484018110 hasConceptScore W1484018110C98045186 @default.
• W1484018110 hasLocation W14840181101 @default.
• W1484018110 hasLocation W14840181102 @default.
• W1484018110 hasOpenAccess W1484018110 @default.
• W1484018110 hasPrimaryLocation W14840181101 @default.
• W1484018110 hasRelatedWork W1515290450 @default.
• W1484018110 hasRelatedWork W1547058733 @default.
• W1484018110 hasRelatedWork W1548616325 @default.
• W1484018110 hasRelatedWork W1565338810 @default.
• W1484018110 hasRelatedWork W1778728081 @default.
• W1484018110 hasRelatedWork W2028934975 @default.
• W1484018110 hasRelatedWork W2036929339 @default.
• W1484018110 hasRelatedWork W2128417237 @default.
• W1484018110 hasRelatedWork W27605384 @default.
• W1484018110 hasRelatedWork W2954382483 @default.

• next