Elsevier
Electronic Notes in Theoretical Computer Science
Computer Security

Clarke, D., de Oliveira Costa, D., & Arbab, F. (2006). Connector Colouring I: Synchronization and Context Dependency. Electronic Notes in Theoretical Computer Science, 154(1), 101–119.