9 citations · 25 across the 7 of their papers we have counts for
5 papers · 1 filter
A type language for message passing component-based systems
Zorica Savanović, Letterio Galletta, Hugo Torres Vieira
Component-based development is challenging in a distributed setting, for starters considering programming a task may involve the assembly of loosely-coupled remote components. In o…
A Calculus for Modeling Floating Authorizations
Jovanka Pantovic, Ivan Prokic, Hugo Torres Vieira
Controlling resource usage in distributed systems is a challenging task given the dynamics involved in access granting. Consider, for instance, the setting of floating licenses whe…
Choreographies for Reactive Programming
Marco Carbone, Fabrizio Montesi, Hugo Torres Vieira
Modular programming is a cornerstone in software development, as it allows to build complex systems from the assembly of simpler components, and support reusability and substitutio…
Proceedings 9th Interaction and Concurrency Experience
Massimo Bartoletti, Ludovic Henrio, Sophia Knight +1
This volume contains the proceedings of ICE 2016, the 9th Interaction and Concurrency Experience, which was held in Heraklion, Greece on the 8th and 9th of June 2016 as a satellite…
Combining behavioural types with security analysis
Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou +7
Today's software systems are highly distributed and interconnected, and they increasingly rely on communication to achieve their goals; due to their societal importance, security a…