www.jucs.org
Journal of Universal Computer Science
Computer Security

Banach, R., Arbab, F., Papadopoulos, G., & Glauert, J. R. W. (2003). A Multiply Hierarchical Automaton Semantics for the IWIM Coordination Model. Journal of Universal Computer Science, 9(1), 2–33.