32 citations · 32 across the 2 of their papers we have counts for
2 papers
cs.LO2011
Proceedings Fourth Interaction and Concurrency Experience
Alexandra Silva, Simon Bliudze, Roberto Bruni +1
This volume contains the pre-proceedings of ICE'11, the 4th Interaction and Concurrency Experience workshop, which was held in Reykjavik, Iceland on the 9th of June 2011 as a satel…
cs.PL2010★ 32 cited
A Graphical Approach to Progress for Structured Communication in Web Services
Marco Carbone, Søren Debois
We investigate a graphical representation of session invocation interdependency in order to prove progress for the pi-calculus with sessions under the usual session typing discipli…