North-Holland
Science of Computer Programming
Computer Security

Krause (born Köhler), C., Maraikar, Z., Lazovik, A., & Arbab, F. (2010). Modeling Dynamic Reconfigurations in Reo using High-Level Replacement Systems. Science of Computer Programming.