Pages that link to "Item:Q1854507"

The following pages link to Resource access control in systems of mobile agents (Q1854507):

Displaying 47 items.

• Name-passing calculi: from fusions to preorders and types (Q342734) (← links)
• Network-conscious \(\pi\)-calculus -- a model of Pastry (Q530841) (← links)
• A taxonomy of process calculi for distribution and mobility (Q660996) (← links)
• Towards an algebraic theory of typed mobile processes (Q817843) (← links)
• Space-aware ambients and processes (Q875514) (← links)
• Adding recursion to Dpi (Q877023) (← links)
• Role-based access control for boxed ambients (Q930879) (← links)
• Semantic subtyping for the pi-calculus (Q930882) (← links)
• Spatial-behavioral types for concurrency and resource control in distributed systems (Q935465) (← links)
• Security types for dynamic web data (Q935467) (← links)
• A theory of system behaviour in the presence of node and link failure (Q939442) (← links)
• From flow logic to static type systems for coordination languages (Q967521) (← links)
• Event based choreography (Q988170) (← links)
• Dynamic management of capabilities in a network aware coordination language (Q1035673) (← links)
• The security pi-calculus and non-interference (Q1772311) (← links)
• Assigning types to processes (Q1854525) (← links)
• Towards a behavioural theory of access and mobility control in distributed systems (Q1881259) (← links)
• Towards a unified approach to encodability and separation results for process calculi (Q1959439) (← links)
• The \(C_\pi\)-calculus: a model for confidential name passing (Q1996859) (← links)
• Dynamics of reputation in mobile agents systems and weighted timed automata (Q2064524) (← links)
• A network-conscious \(\pi\)-calculus and its coalgebraic semantics (Q2253186) (← links)
• A formal approach to the engineering of domain-specific distributed systems (Q2291825) (← links)
• Dynamic structural operational semantics (Q2329443) (← links)
• Types and full abstraction for polyadic \(\pi\)-calculus (Q2387197) (← links)
• Behavioural equivalences for dynamic web data (Q2474049) (← links)
• Full abstraction for polymorphic \(\pi \)-calculus (Q2474052) (← links)
• Symmetric electoral systems for ambient calculi (Q2475806) (← links)
• On the expressive power of \textsc{Klaim}-based calculi (Q2491638) (← links)
• Name-passing in an ambient-like calculus and its proof using spatial logic (Q2491641) (← links)
• Modelling dynamic web data (Q2566029) (← links)
• The seal calculus (Q2566220) (← links)
• safeDpi: a language for controlling mobile code (Q2581010) (← links)
• A theory for observational fault tolerance (Q2643332) (← links)
• On the Relative Expressive Power of Calculi for Mobility (Q2805161) (← links)
• Typed behavioural equivalences for processes in the presence of subtyping (Q2841263) (← links)
• Interaction in Time and Space (Q2864506) (← links)
• Co-Algebraic Models for Quantitative Spatial Logics (Q2870283) (← links)
• Types for Role-Based Access Control of Dynamic Web Data (Q3003511) (← links)
• Network Conscious π-calculus: A Concurrent Semantics (Q3178290) (← links)
• A type system for Discretionary Access Control (Q3395314) (← links)
• Towards a Unified Approach to Encodability and Separation Results for Process Calculi (Q3541040) (← links)
• Spatial-Behavioral Types, Distributed Services, and Resources (Q3608455) (← links)
• Security Types for Dynamic Web Data (Q3608462) (← links)
• Multiple-Labelled Transition Systems for nominal calculi and their logics (Q5458061) (← links)
• Types for ambient and process mobility (Q5458067) (← links)
• Boxed ambients with communication interfaces (Q5756976) (← links)
• (Q5875401) (← links)