Fabrizio Montesi Choreographies Jolie Chor Global types Protocols Global descriptions Personal Website Web Site Home Page Homepage Service Oriented Computing Service-Oriented Computing Service Oriented Architectures Service-Oriented Architectures Communication-Centred Programming Process Calculi Process Calculus Process-Calculi Process-Calculus Pi-Calculus Pi-Calculi Pi Calculus Pi Calculi Picalculus Picalculi Transitions Reductions WS-BPEL UDDI SOAP ACM SAC Conference Distributed Systems Computer Science Formal Models Microservices Informatics