Towards behavioral programming in distributed architecturesDavid HarelAmir Kantoret al.2015Science of Computer Programming