5 citations · 10 across the 2 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2013★ 5 cited
Merging Multiparty Protocols in Multiparty Choreographies
Marco Carbone, Fabrizio Montesi
Choreography-based programming is a powerful paradigm for defining communication-based systems from a global viewpoint. A choreography can be checked against multiparty protocol sp…
cs.PL2009★ 5 cited
Reasoning About a Service-oriented Programming Paradigm
Claudio Guidi, Fabrizio Montesi
This paper is about a new way for programming distributed applications: the service-oriented one. It is a concept paper based upon our experience in developing a theory and a langu…