3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.LO2014
Proceedings 7th Interaction and Concurrency Experience
Ivan Lanese, Alberto Lluch Lafuente, Ana Sokolova +1
This volume contains the proceedings of ICE 2014, the 7th Interaction and Concurrency Experience, which was held in Berlin, Germany on the 6th of June 2014 as a satellite event of…
cs.LO2014★ 3 cited
Dynamic Role Authorization in Multiparty Conversations
Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović +2
Protocol specifications often identify the roles involved in communications. In multiparty protocols that involve task delegation it is often useful to consider settings in which d…