Choreographic Automata: A Case Study in Healthcare Management.

Sourabh Pal, Ivan Lanese, Massimo Clo

Browse the full Coordination paper archive.