Extensional equivalences for transition systems

Publisher Website

1 April 1987

journal article
Published by Springer Nature in Acta Informatica

Vol. 24 (2), 211-237
https://doi.org/10.1007/bf00264365

Abstract

No abstract available

Keywords

Cited by 166 articles