• Sign in
  • Sign up
conf.researchr.org / Marco Bernardo
  • ETAPS 2019 profile
  • POPL 2019 profile
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

Share
xThu 26 May 09:35
using conf.researchr.org (v1.55.6)
Support page
Sign Up