North-Holland
Science of Computer Programming
Computer Security

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