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