scientific article; zbMATH DE number 7455716

MaRDI QIDQ5020975zbMATH OpenFDO

Authors Stefano Forti, Antonio Brogi

Publication date 11 January 2022

Full work available at URL https://arxiv.org/abs/2009.10245, http://eptcs.web.cse.unsw.edu.au/paper.cgi?ICLP2020.22

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Maintaining distributed logic programs incrementally
• Distributed reason maintenance for multiagent systems
• Reasoning in event-based distributed systems
• Decision problems in a logic for reasoning about reconfigurable distributed systems
• Parallel Processing and Applied Mathematics
• A framework for prototyping and reasoning about distributed systems
• A principle for sequential reasoning about distributed algorithms
• Automatizing parametric reasoning on distributed concurrent systems

Cites work

• Continuous reasoning: scaling the impact of formal methods

Describes a project that uses

Uses Software

• iFogSim
• YAFS

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