---
res:
  bibo_abstract:
  - The classical (boolean) notion of refinement for behavioral interfaces of system
    components is the alternating refinement preorder. In this paper, we define a
    distance for interfaces, called interface simulation distance. It makes the alternating
    refinement preorder quantitative by, intuitively, tolerating errors (while counting
    them) in the alternating simulation game. We show that the interface simulation
    distance satisfies the triangle inequality, that the distance between two interfaces
    does not increase under parallel composition with a third interface, that the
    distance between two interfaces can be bounded from above and below by distances
    between abstractions of the two interfaces, and how to synthesize an interface
    from incompatible requirements. We illustrate the framework, and the properties
    of the distances under composition of interfaces, with two case studies.@eng
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Pavol
      foaf_name: Cerny, Pavol
      foaf_surname: Cerny
  - foaf_Person:
      foaf_givenName: Martin
      foaf_name: Chmelik, Martin
      foaf_surname: Chmelik
      foaf_workInfoHomepage: http://www.librecat.org/personId=3624234E-F248-11E8-B48F-1D18A9856A87
  - foaf_Person:
      foaf_givenName: Thomas A
      foaf_name: Henzinger, Thomas A
      foaf_surname: Henzinger
      foaf_workInfoHomepage: http://www.librecat.org/personId=40876CD8-F248-11E8-B48F-1D18A9856A87
    orcid: 0000−0002−2985−7724
  - foaf_Person:
      foaf_givenName: Arjun
      foaf_name: Radhakrishna, Arjun
      foaf_surname: Radhakrishna
      foaf_workInfoHomepage: http://www.librecat.org/personId=3B51CAC4-F248-11E8-B48F-1D18A9856A87
  bibo_doi: 10.1016/j.tcs.2014.08.019
  bibo_issue: '3'
  bibo_volume: 560
  dct_date: 2014^xs_gYear
  dct_identifier:
  - UT:000347601300009
  dct_language: eng
  dct_publisher: Elsevier@
  dct_title: Interface simulation distances@
...