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]

Abstract

Abstract is missing.