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 JournalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)335-382
JournalFundamenta Informaticae
Volume40
Publication statusPublished - 1999

Cite this

den Hartog, J. I., de Vink, E. P., & de Bakker, J. W. (1999). Full Abstractness of a Metric Semantics for Action Refinement. Fundamenta Informaticae, 40, 335-382.