North-Holland
Science of Computer Programming
Computer Security

Clarke, D., Proença, J., Lazovik, A., & Arbab, F. (2011). Channel-based coordination via constraint satisfaction. Science of Computer Programming, 76(8), 681–710.