7 citations · 34 across the 16 of their papers we have counts for
18 papers
Finite-Context Semantics in Finitely Supported Structures
Gabriel Ciobanu
Semantics for systems with names and data often depends on finitely many distinguished values. The theory of finitely supported structures treats this dependence through invariance…
Finite Dependence and Invariance Hierarchies for Finitely Supported Structures
Gabriel Ciobanu
Finite support indicates that the dependence is limited, but not how each finite context controls what can be observed. For a data symmetry G \leq Sym(A) and a finitely supported G…
Imprecise Probability for Multiparty Session Types in Process Algebra
Bogdan Aman, Gabriel Ciobanu
In this paper we introduce imprecise probability for session types. More exactly, we use a probabilistic process calculus in which both nondeterministic external choice and probabi…
Finitely Supported Sets Containing Infinite Uniformly Supported Subsets
Andrei Alexandru, Gabriel Ciobanu
The theory of finitely supported algebraic structures represents a reformulation of Zermelo-Fraenkel set theory in which every construction is finitely supported according to the a…
Probabilities in Session Types
Bogdan Aman, Gabriel Ciobanu
This paper deals with the probabilistic behaviours of distributed systems described by a process calculus considering both probabilistic internal choices and nondeterministic exter…
Infinities within Finitely Supported Structures
Andrei Alexandru, Gabriel Ciobanu
The theory of finitely supported algebraic structures is related to Pitts theory of nominal sets (by equipping finitely supported sets with finitely supported internal algebraic la…