Marco Bernardo | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Claudio Antares Mezzina
8 publications
Alessandro Aldini
3 publications
Edoardo Bontà
1 publication

research

∙ 05/03/2022

Bridging Causal Consistent and Time Reversibility: A Stochastic Process Algebraic Approach

Causal consistent reversibility blends causality and reversibility. For ...

0 Marco Bernardo, et al. ∙

research

∙ 05/05/2018

Process Algebraic Architectural Description Languages: Generalizing Component-Oriented Mismatch Detection in the Presence of Nonsynchronous Communications

In the original paper, we showed how to enhance the expressiveness of a ...

0 Marco Bernardo, et al. ∙