32 citations · 80 across the 10 of their papers we have counts for
10 papers
Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
Marco Bernardo, Claudio A. Mezzina
Causal reversibility blends reversibility and causality for concurrent systems. It indicates that an action can be undone provided that all of its consequences have been undone alr…
Process Algebraic Architectural Description Languages: Generalizing Component-Oriented Mismatch Detection in the Presence of Nonsynchronous Communications
Marco Bernardo, Edoardo Bontà, Alessandro Aldini
In the original paper, we showed how to enhance the expressiveness of a typical process algebraic architectural description language by including the capability of representing non…
Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems
Marco Bernardo, Marino Miculan
Larsen and Skou characterized probabilistic bisimilarity over reactive probabilistic systems with a logic including true, negation, conjunction, and a diamond modality decorated wi…
Expected-Delay-Summing Weak Bisimilarity for Markov Automata
Alessandro Aldini, Marco Bernardo
A new weak bisimulation semantics is defined for Markov automata that, in addition to abstracting from internal actions, sums up the expected values of consecutive exponentially di…
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes
Marco Bernardo, Rocco De Nicola, Michele Loreti
Two of the most studied extensions of trace and testing equivalences to nondeterministic and probabilistic processes induce distinctions that have been questioned and lack properti…
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes
Marco Bernardo, Rocco De Nicola, Michele Loreti
We present a spectrum of trace-based, testing, and bisimulation equivalences for nondeterministic and probabilistic processes whose activities are all observable. For every equival…