https://catalogue-scientifique.canada.ca/record=2112833~S6*frc
california univ santa cruz, 2005
We extend the basic system relations of trace inclusion, trace equivalence, simulation, and bisimulation to a quantitative setting in which propositions are...
Publication gouvernementale