An Extended Bisimulation Induced by a Preorder on Actions (1987)
by
Bent Thomsen
| Citations: | 4 - 0 self |
BibTeX
@MISC{Thomsen87anextended,
author = {Bent Thomsen},
title = { An Extended Bisimulation Induced by a Preorder on Actions},
year = {1987}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
