Jovanka Pantovic | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Nobuko Yoshida
29 publications
Alceste Scalas
12 publications
Silvia Ghilezan
5 publications
Ivan Prokic
4 publications
Hugo Torres Vieira
4 publications

research

∙ 10/26/2020

Precise Subtyping for Asynchronous Multiparty Sessions

This paper presents the first formalisation of the precise subtyping rel...

0 Silvia Ghilezan, et al. ∙

research

∙ 02/16/2018

A Calculus for Modeling Floating Authorizations

Controlling resource usage in distributed systems is a challenging task ...

0 Jovanka Pantovic, et al. ∙