scientific article; zbMATH DE number 1231689

MaRDI QIDQ4223018zbMATH OpenFDO

Authors Matthew Hennessy, J. Riely

Publication date 10 January 1999

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=16&iss=3#16.3.003

zbMATH Keywords

distributed pi-calculuslocation typetyping system

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• Resource access control in systems of mobile agents
• scientific article; zbMATH DE number 2038704
• scientific article; zbMATH DE number 1956519
• Towards a behavioural theory of access and mobility control in distributed systems
• Path-history-based access control for mobile agents
• Types for access control in a calculus of mobile resources
• scientific article; zbMATH DE number 1947677
• scientific article; zbMATH DE number 1717261

Cited in

(29)

• Mobility control via passports
• Dynamic management of capabilities in a network aware coordination language
• Typing correspondence assertions for communication protocols
• On modelling mobility
• Types for access control
• Abstract interpretation of mobile systems
• Trust and partial typing in open systems of mobile agents
• Resource access control in systems of mobile agents
• Towards a behavioural theory of access and mobility control in distributed systems
• A theory of bisimulation for a fragment of concurrent ML with local names
• A static analysis of cryptographic processes: the denotational approach
• Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus
• The seal calculus
• On the expressive power of polyadic synchronisation in -calculus
• Tagged systems: a framework for the specification of history-dependent properties
• Types for access control in a calculus of mobile resources
• On mobility and communication
• Mobility Control Via Passports
• A model checking-based approach for security policy verification of mobile systems
• scientific article; zbMATH DE number 1956519 (Why is no real title available?)
• scientific article; zbMATH DE number 2038704 (Why is no real title available?)
• Encoding distributed areas and local communication into the -calculus
• A distributed \(\pi\)-calculus with local areas of communication
• CONCUR 2004 - Concurrency Theory
• scientific article; zbMATH DE number 2247716 (Why is no real title available?)
• From rewrite rules to bisimulation congruences
• Distributed processes and location failures
• Strategy based semantics for mobility with time and access permissions
• A process calculus for mobile ad hoc networks

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 Q4223018)