Pages that link to "Item:Q1826471"
From MaRDI portal
The following pages link to Trust and partial typing in open systems of mobile agents (Q1826471):
Displaying 12 items.
- Dynamic management of capabilities in a network aware coordination language (Q1035673) (← links)
- Types for access control (Q1575157) (← links)
- Resource access control in systems of mobile agents (Q1854507) (← links)
- Assigning types to processes (Q1854525) (← links)
- Orderly communication in the ambient calculus. (Q1869977) (← links)
- Abstractions for fault-tolerant global computing (Q1881258) (← links)
- safeDpi: a language for controlling mobile code (Q2581010) (← links)
- Typed behavioural equivalences for processes in the presence of subtyping (Q2841263) (← links)
- A categorical framework for typing CCS-style process communication (Q2841310) (← links)
- Typed ψ-calculi (Q3090835) (← links)
- Distributed processes and location failures (Q4571978) (← links)
- Boxed ambients with communication interfaces (Q5756976) (← links)
