Decision problems in a logic for reasoning about reconfigurable distributed systems
From MaRDI portal
Publication:2104556
DOI10.1007/978-3-031-10769-6_40OpenAlexW4289104065MaRDI QIDQ2104556FDOQ2104556
Authors: Marius Bozga, Lucas Bueri, Radu Iosif 
Publication date: 7 December 2022
Full work available at URL: https://arxiv.org/abs/2202.09637
Cites Work
- Reo: a channel-based coordination model for component composition
- The Logic of Bunched Implications
- Views
- Modeling dynamic reconfigurations in Reo using high-level replacement systems
- Resources, concurrency, and local reasoning
- Title not available (Why is that?)
- Configuration logics: modeling architecture styles
- A Marriage of Rely/Guarantee and Separation Logic
- Decidability of Parameterized Verification
- On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning
- Title not available (Why is that?)
- A basic logic for reasoning about connector reconfiguration
- A graph transformation approach to software architecture reconfiguration
- Title not available (Why is that?)
- A decision procedure for satisfiability in separation logic with inductive predicates
- When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations
- Parameterized Systems in BIP: Design and Model Checking
- Checking deadlock-freedom of parametric component-based systems
- Unifying decidable entailments in separation logic with inductive definitions
- Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic
Cited In (7)
- Reasoning in event-based distributed systems
- Decomposition of linguistic-logical decision models in distributed computing environments
- Title not available (Why is that?)
- Title not available (Why is that?)
- Verification of component-based systems with recursive architectures
- Title not available (Why is that?)
- Title not available (Why is that?)
Uses Software
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)
