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

zbMATH Open1272.68110MaRDI QIDQ2850671FDOQ2850671

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

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

Mathematics Subject Classification ID

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

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)