Full Abstractness of a Metric Semantics for Action Refinement.

J.I. den Hartog, E.P. de Vink, J.W. de Bakker

Research output: Contribution to Journal › Article › Academic › peer-review

Persistent URL (handle)

@article{551a8f34edac4e08a6a625306211ead3,

title = "Full Abstractness of a Metric Semantics for Action Refinement.",

author = "{den Hartog}, J.I. and {de Vink}, E.P. and {de Bakker}, J.W.",

year = "1999",

language = "English",

volume = "40",

pages = "335--382",

journal = "Fundamenta Informaticae",

issn = "0169-2968",

publisher = "IOS Press",

}