A Basic Logic for Reasoning about Connector Reconfiguration

Dave Clarke. A Basic Logic for Reasoning about Connector Reconfiguration. Fundamenta Informaticae, 82(4):361-390, 2008. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: