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