Marco Bernardo -

Registered user since Wed 10 Jul 2019

Name: Marco Bernardo

Country: Italy

Affiliation: University of Urbino

Personal website: http://www.sti.uniurb.it/bernardo/

Contributions

OPCT 2019	Author of ULTraS at Work: Compositionality and Equational Characterization of Behavioral Metaequivalences within the OPCT 2019-track
QAPL 2019	Author of Coherent Resolutions of Nondeterminism within the QAPL-track Author of Equational Characterization Metaresults for Bisimulation and Trace Semantics in ULTraS within the QAPL-track