Harald Fecher, Michael Huth, Heiko Schmidt, Jens Schönborn. Refinement Sensitive Formal Semantics of State Machines With Persistent Choice. Electronic Notes in Theoretical Computer Science, 250(1):71-86, 2009. [doi]
@article{FecherHSS09,
title = {Refinement Sensitive Formal Semantics of State Machines With Persistent Choice},
author = {Harald Fecher and Michael Huth and Heiko Schmidt and Jens Schönborn},
year = {2009},
doi = {10.1016/j.entcs.2009.08.006},
url = {http://dx.doi.org/10.1016/j.entcs.2009.08.006},
tags = {semantics, persistent, formal semantics, refinement, state machines},
researchr = {https://researchr.org/publication/FecherHSS09},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {250},
number = {1},
pages = {71-86},
}