Decision Problems in a Logic for Reasoning About Reconfigurable Distributed Systems.

Marius Bozga, Lucas Bueri, Radu Iosif

Browse the full CADE paper archive.