Trust and partial typing in open systems of mobile agents
From MaRDI portal
Publication:1826471
DOI10.1023/B:JARS.0000021016.61054.3bzbMath1069.68076MaRDI QIDQ1826471
James Riely, Matthew C. B. Hennessy
Publication date: 6 August 2004
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
68Q55: Semantics in the theory of computing
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Distributed processes and location failures, Boxed ambients with communication interfaces, Dynamic management of capabilities in a network aware coordination language, Types for access control, Resource access control in systems of mobile agents, Assigning types to processes, Orderly communication in the ambient calculus., Abstractions for fault-tolerant global computing, safeDpi: a language for controlling mobile code, Typed behavioural equivalences for processes in the presence of subtyping, A categorical framework for typing CCS-style process communication, Typed ψ-calculi