Bogdan Aman | DeepAI

DeepAI

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

Featured Co-authors

Gabriel Ciobanu
3 publications

research

∙ 02/19/2020

Imprecise Probability for Multiparty Session Types in Process Algebra

In this paper we introduce imprecise probability for session types. More...

0 Bogdan Aman, et al. ∙

research

∙ 09/04/2019

Probabilities in Session Types

This paper deals with the probabilistic behaviours of distributed system...

0 Bogdan Aman, et al. ∙