9 citations · 36 across the 34 of their papers we have counts for
Showing 2022Show all
3 papers · 1 filter
cs.LO2022★ 1 cited
On the Expressiveness of a Logic of Separated Relations
Radu Iosif, Florian Zuleger
We compare the model-theoretic expressiveness of the existential fragment of Separation Logic over unrestricted relational signatures (SLR) -- with only separating conjunction as l…
cs.LO2022
On an Invariance Problem for Parameterized Concurrent Systems
Marius Bozga, Lucas Bueri, Radu Iosif
We consider concurrent systems consisting of replicated finite-state processes that synchronize via joint interactions in a network with user-defined topology. The system is specif…
cs.LO2022
Decision Problems in a Logic for Reasoning about Reconfigurable Distributed Systems
Marius Bozga, Lucas Bueri, Radu Iosif
We consider a logic used to describe sets of configurations of distributed systems, whose network topologies can be changed at runtime, by reconfiguration programs. The logic uses…