In permissioned blockchains, a set of identifiable miners validates transactions and creates
new blocks. In scholarship, the proposed solution for the consensus protocol is usually …

Reversibility is the capability of a system of undoing its own actions starting from the last
performed one, in such a way that a past consistent state is reached. This is not trivial for …

A blockchain is an immutable ledger driven by a distributed consensus protocol. In public
blockchains such as Bitcoin and Ethereum consensus is established through a …

In this paper we consider two relations over stochastic automata, named lumpable
bisimulation and exact equivalence, that induce a strong and an exact lumping, respectively …

Several notions of reversibility exist in the literature. On the one hand, causal reversibility
establishes that an action can be undone provided that all of its consequences have been …

In this paper, we deal with the lumpability approach to cope with the state space explosion
problem inherent to the computation of the stationary performance indices of large stochastic …

The analysis of fork-join queueing systems has played an important role for the performance
evaluation of distributed systems where parallel computations associated with the same job …

In this paper, we study an information flow security property for systems specified as terms of
a quantitative Markovian process algebra, namely the Performance Evaluation Process …

We deal with the lumpability approach to cope with the state space explosion problem
inherent to the computation of the performance indices of large stochastic models using a …

In this paper we reason about the notion of proportional lumpability, that generalizes the
original definition of lumpability to cope with the state space explosion problem inherent to …