Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition and Refinement-Preserving Logic.

Harald Fecher Immo Grabe Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition and Refinement-Preserving Logic. 1-16 2007 conf/fsen/2007 FSEN http://dx.doi.org/10.1007/978-3-540-75698-9_1 db/conf/fsen/fsen2007.html#FecherG07