Decision problems in a logic for reasoning about reconfigurable distributed systems

DOI10.1007/978-3-031-10769-6_40MaRDI QIDQ2104556OpenAlexFDO

Authors Marius Bozga, Lucas Bueri, Radu Iosif

Publication date 7 December 2022

Full work available at URL https://arxiv.org/abs/2202.09637

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites work

• scientific article; zbMATH DE number 1629831 (Why is no real title available?)
• scientific article; zbMATH DE number 3819693 (Why is no real title available?)
• scientific article; zbMATH DE number 3614147 (Why is no real title available?)
• A Marriage of Rely/Guarantee and Separation Logic
• A basic logic for reasoning about connector reconfiguration
• A decision procedure for satisfiability in separation logic with inductive predicates
• A graph transformation approach to software architecture reconfiguration
• Checking deadlock-freedom of parametric component-based systems
• Configuration logics: modeling architecture styles
• Decidability of parameterized verification
• Modeling dynamic reconfigurations in Reo using high-level replacement systems
• On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning
• Parameterized systems in BIP: design and model checking
• Reo: a channel-based coordination model for component composition
• Resources, concurrency, and local reasoning
• The Logic of Bunched Implications
• Unified reasoning about robustness properties of symbolic-heap separation logic
• Unifying decidable entailments in separation logic with inductive definitions
• Views, compositional reasoning for concurrent programs
• When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations

Cited in

(7)

• Decomposition of linguistic-logical decision models in distributed computing environments
• scientific article; zbMATH DE number 5506106 (Why is no real title available?)
• scientific article; zbMATH DE number 7222494 (Why is no real title available?)
• scientific article; zbMATH DE number 4070296 (Why is no real title available?)
• Verification of component-based systems with recursive architectures
• Reasoning in event-based distributed systems
• scientific article; zbMATH DE number 7455716 (Why is no real title available?)

Describes a project that uses

Uses Software

• Reo

This page was built for publication: Decision problems in a logic for reasoning about reconfigurable distributed systems

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