scientific article; zbMATH DE number 5506106

MaRDI QIDQ3601414zbMATH OpenFDO

Authors Carlo Montangero, Stephan Reiff-Marganiec, Laura Semini

Publication date 10 February 2009

Mathematics Subject Classification ID

Distributed systems (68M14) Semantics in the theory of computing (68Q55)

Recommendations

• Logic–Based Detection of Conflicts in Appel Policies
• An optimized approach for resolving policy inconsistency conflicts
• scientific article; zbMATH DE number 2233515
• Distribution policies for Datalog
• Distribution policies for Datalog
• Decision problems in a logic for reasoning about reconfigurable distributed systems
• A Logic For Distributed Processes
• scientific article; zbMATH DE number 2087433

Cited in

(6)

• Policy expressions and the bottom-up design of computing policies
• Logic–Based Detection of Conflicts in Appel Policies
• An optimized approach for resolving policy inconsistency conflicts
• Efficiently Characterizing the Undefined Requests of a Rule-Based System
• Policies and conflicts in call control
• From StPowla processes to SRML models

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