Linear and Branching System Metrics
IEEE Transactions on Software Engineering
By L. de Alfaro,M. Faella,M. Stoelinga
Issue Date:March 2009
We extend the classical system relations of trace inclusion, trace equivalence, simulation, and bisimulation to a quantitative setting in which propositions are interpreted not as boolean values, but as elements of arbitrary metric spaces. Trace inclusion ...