7 citations · 22 across the 6 of their papers we have counts for
6 papers
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…
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…
De Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative Logic
Ross Horne, Alwen Tiu, Bogdan Aman +1
This paper explores the proof theory necessary for recommending an expressive but decidable first-order system, named MAV1, featuring a de Morgan dual pair of nominal quantifiers.…
Spatial Dynamic Structures and Mobility in Computation
Bogdan Aman
Membrane computing is a well-established and successful research field which belongs to the more general area of molecular computing. Membrane computing aims at defining parallel a…
Time Delays in Membrane Systems and Petri Nets
Bogdan Aman, Gabriel Ciobanu
Timing aspects in formalisms with explicit resources and parallelism are investigated, and it is presented a formal link between timed membrane systems and timed Petri nets with lo…
Mutual Mobile Membranes with Timers
Bogdan Aman, Gabriel Ciobanu
A feature of current membrane systems is the fact that objects and membranes are persistent. However, this is not true in the real world. In fact, cells and intracellular proteins…