research
∙
09/17/2020
A type language for message passing component-based systems
Component-based development is challenging in a distributed setting, for...
share
research
∙
11/05/2018
Operation Control Protocols in Power Distribution Grids
Future power distribution grids will comprise a large number of componen...
research
∙
02/16/2018
A Calculus for Modeling Floating Authorizations
Controlling resource usage in distributed systems is a challenging task ...
research
∙
01/24/2018
