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

2019

QAPL

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

OPCT

Author of ULTraS at Work: Compositionality and Equational Characterization of Behavioral Metaequivalences within the OPCT 2019-track