Elsevier
Electronic Notes in Theoretical Computer Science
Computer Security

Mousavi, M. R., Sirjani, M., & Arbab, F. (2006). Formal Semantics and Analysis of Component Connectors in reo. Electronic Notes in Theoretical Computer Science, 154, 83–99.