3 Results Found

Advanced Search

Select all

Results per page

Select all

Article

20 Citations

5,114 Views

22 Pages

An Efficient Algorithm to Determine Probabilistic Bisimulation

Jan Friso Groote,
Jao Rivera Verduzco and
Erik P. De Vink

Algorithms2018, 11(9), 131;https://doi.org/10.3390/a11090131

-

3 September 2018

We provide an algorithm to efficiently compute bisimulation for probabilistic labeled transition systems, featuring non-deterministic choice as well as discrete probabilistic choice. The algorithm is linear in the number of transitions and logarithmi...

Full Article

Article

773 Views

31 Pages

Safety of Uncertain Session Types with Interval Probability

Bogdan Aman and
Gabriel Ciobanu

Symmetry2025, 17(2), 218;https://doi.org/10.3390/sym17020218

-

1 February 2025

In this article, we introduce and study a new kind of multiparty session type for a probabilistic process calculus that incorporates two forms of choice: probabilistic and nondeterministic. The main novelty of our approach is the use of interval prob...

Full Article

Article

6 Citations

3,974 Views

17 Pages

Bisimulation for Secure Information Flow Analysis of Multi-Threaded Programs

Ali A. Noroozi,
Jaber Karimpour and
Ayaz Isazadeh

Math. Comput. Appl.2019, 24(2), 64;https://doi.org/10.3390/mca24020064

-

17 June 2019

Preserving the confidentiality of information is a growing concern in software development. Secure information flow is intended to maintain the confidentiality of sensitive information by preventing them from flowing to attackers. This paper discusse...

Full Article