TY  - CHAP
AU  - Fecher, Harald
AU  - Frutos Escrig, David De
AU  - Lüttgen, Gerald
AU  - Schmidt, Heiko
A4  - Arbab, Fahrad
A4  - Marjan, Sirjani
PY  - 2010
DO  - 10.1007/978-3-642-11623-0_16
SN  - 978-3-642-11622-3
UR  - https://hdl.handle.net/20.500.14352/45442
AB  - Embedded-systems designers often use transition system-based notations for specifying, with respect to some refinement preorder, sets of deterministic implementations. This paper compares popular such refinement settings — ranging from transition...
LA  - eng
M2  - 276
PB  - Springer
TI  - On the expressiveness of refinement settings
TY  - book part
ER  -