research
∙
02/19/2020
Imprecise Probability for Multiparty Session Types in Process Algebra
In this paper we introduce imprecise probability for session types. More...
research
∙
09/04/2019
Finitely Supported Sets Containing Infinite Uniformly Supported Subsets
The theory of finitely supported algebraic structures represents a refor...
research
∙
09/04/2019