Connector Colouring I: Synchronisation and Context Dependency

Dave Clarke, David Costa, Farhad Arbab. Connector Colouring I: Synchronisation and Context Dependency. Electronic Notes in Theoretical Computer Science, 154(1):101-119, 2006. [doi]

Abstract

Abstract is missing.