University of Bologna has world-leading researchers in models and programming languages for service-oriented computing, microservices and cloud applications, with a specific emphasis on typing systems, process algebra and co-inductive techniques.
Smart contracts are pieces of software stored on the blockchain that control the transfer of assets between parties under certain conditions. In this paper we analyze the bahaviour of smart
Deadlock analysis of concurrent programs that contain coordination primitives (wait, notify and notifyAll) is notoriously challenging. Not only these primitives affect the scheduling of processes, but also notifications unmatched by