Comparing refinements for failure and bisimulation semantics

H. Eshuis, M.M. Fokkinga

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

Cite this

@article{a199cf80c19e481c8e8140152e8f3c81,

title = "Comparing refinements for failure and bisimulation semantics",

author = "H. Eshuis and M.M. Fokkinga",

year = "2002",

language = "English",

volume = "52",

pages = "297--321",

journal = "Fundamenta Informaticae",

issn = "0169-2968",

publisher = "SAGE Publications Ltd",

number = "4",

}