FRINK Linked Data Fragments server

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

• W167791757 abstract "The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code. We present a type system for the calculus, parameterized by a set of security constraints: static ones concerning where a given ambient may reside, and dynamic ones expressing where a given ambient may be dissolved. A subject reduction property then guarantees that a well-typed process never violates these constraints; additionally it ensures that communicating subprocesses agree on their “topic of conversation”. The type system employs a notion of causality in that processes are assigned “behaviors”. We argue that this significantly increases the precision of the analysis and compensates for the lack of “cocapabilities” (an otherwise increasingly popular extension to the ambient calculus); also it allows (in contrast to other approaches) an ambient to hold multiple topics of conversation. Based on techniques borrowed from finite automata theory, type checking of type-annotated processes is decidable. Under certain quite natural restrictions, type inference is also possible." @default.
• W167791757 created "2016-06-24" @default.
• W167791757 creator A5012630006 @default.
• W167791757 date "2006-01-01" @default.
• W167791757 modified "2023-09-27" @default.
• W167791757 title "Causal Type System for Ambient Movements" @default.
• W167791757 cites W1479857408 @default.
• W167791757 cites W1493736413 @default.
• W167791757 cites W1495134708 @default.
• W167791757 cites W1498792107 @default.
• W167791757 cites W1503918819 @default.
• W167791757 cites W1510917942 @default.
• W167791757 cites W1511544530 @default.
• W167791757 cites W1521217725 @default.
• W167791757 cites W1536456993 @default.
• W167791757 cites W1590016228 @default.
• W167791757 cites W1593360410 @default.
• W167791757 cites W1819673294 @default.
• W167791757 cites W1848345729 @default.
• W167791757 cites W1968065704 @default.
• W167791757 cites W2048984644 @default.
• W167791757 cites W2114569557 @default.
• W167791757 cites W2136134319 @default.
• W167791757 cites W2170120690 @default.
• W167791757 cites W2912003593 @default.
• W167791757 cites W54523939 @default.
• W167791757 hasPublicationYear "2006" @default.
• W167791757 type Work @default.
• W167791757 sameAs 167791757 @default.
• W167791757 citedByCount "0" @default.
• W167791757 crossrefType "journal-article" @default.
• W167791757 hasAuthorship W167791757A5012630006 @default.
• W167791757 hasConcept C111472728 @default.
• W167791757 hasConcept C112505250 @default.
• W167791757 hasConcept C11413529 @default.
• W167791757 hasConcept C121332964 @default.
• W167791757 hasConcept C135315306 @default.
• W167791757 hasConcept C138885662 @default.
• W167791757 hasConcept C153269930 @default.
• W167791757 hasConcept C154945302 @default.
• W167791757 hasConcept C161771561 @default.
• W167791757 hasConcept C165464430 @default.
• W167791757 hasConcept C177264268 @default.
• W167791757 hasConcept C18903297 @default.
• W167791757 hasConcept C189950617 @default.
• W167791757 hasConcept C198370458 @default.
• W167791757 hasConcept C199360897 @default.
• W167791757 hasConcept C2776214188 @default.
• W167791757 hasConcept C2777200299 @default.
• W167791757 hasConcept C2777299769 @default.
• W167791757 hasConcept C41008148 @default.
• W167791757 hasConcept C41895202 @default.
• W167791757 hasConcept C62520636 @default.
• W167791757 hasConcept C64357122 @default.
• W167791757 hasConcept C80444323 @default.
• W167791757 hasConcept C86803240 @default.
• W167791757 hasConcept C93682546 @default.
• W167791757 hasConceptScore W167791757C111472728 @default.
• W167791757 hasConceptScore W167791757C112505250 @default.
• W167791757 hasConceptScore W167791757C11413529 @default.
• W167791757 hasConceptScore W167791757C121332964 @default.
• W167791757 hasConceptScore W167791757C135315306 @default.
• W167791757 hasConceptScore W167791757C138885662 @default.
• W167791757 hasConceptScore W167791757C153269930 @default.
• W167791757 hasConceptScore W167791757C154945302 @default.
• W167791757 hasConceptScore W167791757C161771561 @default.
• W167791757 hasConceptScore W167791757C165464430 @default.
• W167791757 hasConceptScore W167791757C177264268 @default.
• W167791757 hasConceptScore W167791757C18903297 @default.
• W167791757 hasConceptScore W167791757C189950617 @default.
• W167791757 hasConceptScore W167791757C198370458 @default.
• W167791757 hasConceptScore W167791757C199360897 @default.
• W167791757 hasConceptScore W167791757C2776214188 @default.
• W167791757 hasConceptScore W167791757C2777200299 @default.
• W167791757 hasConceptScore W167791757C2777299769 @default.
• W167791757 hasConceptScore W167791757C41008148 @default.
• W167791757 hasConceptScore W167791757C41895202 @default.
• W167791757 hasConceptScore W167791757C62520636 @default.
• W167791757 hasConceptScore W167791757C64357122 @default.
• W167791757 hasConceptScore W167791757C80444323 @default.
• W167791757 hasConceptScore W167791757C86803240 @default.
• W167791757 hasConceptScore W167791757C93682546 @default.
• W167791757 hasLocation W1677917571 @default.
• W167791757 hasOpenAccess W167791757 @default.
• W167791757 hasPrimaryLocation W1677917571 @default.
• W167791757 hasRelatedWork W1486738794 @default.
• W167791757 hasRelatedWork W1512316300 @default.
• W167791757 hasRelatedWork W1575028430 @default.
• W167791757 hasRelatedWork W158204013 @default.
• W167791757 hasRelatedWork W183810113 @default.
• W167791757 hasRelatedWork W2083816928 @default.
• W167791757 hasRelatedWork W2098166444 @default.
• W167791757 hasRelatedWork W2099811898 @default.
• W167791757 hasRelatedWork W2119335459 @default.
• W167791757 hasRelatedWork W2121115481 @default.
• W167791757 hasRelatedWork W2149449299 @default.
• W167791757 hasRelatedWork W2168048876 @default.
• W167791757 hasRelatedWork W2398513451 @default.
• W167791757 hasRelatedWork W2477000045 @default.
• W167791757 hasRelatedWork W2778153045 @default.

• next