Tagged systems: a framework for the specification of history-dependent properties

MaRDI QIDQ2850671zbMATH OpenFDO

Authors Fernando Rosa-Velardo, Clara Segura, David de Frutos Escrig

Publication date 27 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105050863

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Resource access control in systems of mobile agents
• Trustworthy Global Computing
• scientific article; zbMATH DE number 1231689
• Foundations of Software Science and Computational Structures
• Access control in a core calculus of dependency

This page was built for publication: Tagged systems: a framework for the specification of history-dependent properties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2850671)