Search filters

List of works by Marco Bernardo

A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences

scientific article published in April 2013

Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations

scientific article published in 2014

Relating strong behavioral equivalences for processes with nondeterminism and probabilities

scientific article published in August 2014

Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes

scientific article published on 3 March 2014

Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes

scientific article published on 30 November 2014

Timed process calculi with deterministic or stochastic delays: Commuting between durational and durationless actions

scientific article published in May 2016

Paulina is supported by:

About Paulina

Help