Reconfigurable component connectors

Abstract

This thesis provides formal methods for reconfigurable component connectors.

ReoReconfigurationComponent connectors