Khalil, Al-Abbass Adham
(2019)
A global choreography defines a communication pattern over a set of ports. The ports are partitioned into subsets, each subset being the ports that belong to a given process. From a choreography and an interaction architecture, ...