9 citations · 25 across the 7 of their papers we have counts for
3 papers · 1 filter
Operation Control Protocols in Power Distribution Grids
Yehia Abd Alrahman, Hugo Torres Vieira
Future power distribution grids will comprise a large number of components, each potentially able to carry out operations autonomously. Clearly, in order to ensure safe operation 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…