scientific article; zbMATH DE number 1956519
From MaRDI portal
Publication:4417865
zbMATH Open1029.68109MaRDI QIDQ4417865FDOQ4417865
Authors: Massimo Merro, Julian Rathke, Matthew Hennessy 
Publication date: 30 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2620/26200282.htm
Title of this publication is not available (Why is that?)
Recommendations
Logic in computer science (03B70) Distributed systems (68M14) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited In (14)
- Towards a behavioural theory of access and mobility control in distributed systems
- Title not available (Why is that?)
- The seal calculus
- safeDpi: a language for controlling mobile code
- Mobility control via passports
- Strategy based semantics for mobility with time and access permissions
- Foundations of Software Science and Computation Structures
- Formal Techniques for Networked and Distributed Systems - FORTE 2005
- Adding recursion to \textsc{Dpi} (extended abstract)
- Role-based access control for boxed ambients
- A Distributed Pi-Calculus
- Trustworthy Global Computing
- Resource access control in systems of mobile agents
- Mobility Control Via Passports
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4417865)
