scientific article; zbMATH DE number 2038704

MaRDI QIDQ4449169zbMATH OpenFDO

Authors Daniele Gorla, Rosario Pugliese

Publication date 8 February 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2719/27190119.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1231689
• Resource access control in systems of mobile agents
• Dynamic access control model for pervasive computing
• Dynamic configuration of access control for mobile components in <scp>FarGo</scp>
• Types for access control in a calculus of mobile resources
• Access control in mobile ambient calculi: a comparative view

Cited in

(14)

• Dynamic management of capabilities in a network aware coordination language
• Types for access control
• Resource access control in systems of mobile agents
• On the expressive power of \textsc{Klaim}-based calculi
• scientific article; zbMATH DE number 1231689 (Why is no real title available?)
• scientific article; zbMATH DE number 1759601 (Why is no real title available?)
• MetaKlaim: a type safe multi-stage language for global computing
• Pattern matching over a dynamic network of tuple spaces
• Causal-consistent rollback in a tuple-based language
• Coordination Models and Languages
• The Klaim project: Theory and practice
• Revealing the trajectories of KLAIM tuples, statically
• Global computing in a dynamic network of tuple spaces
• From flow logic to static type systems for coordination languages

Describes a project that uses

Uses Software

• Klava

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