Patricia Bouyer, Nicolas Markey, Joël Ouaknine, Philippe Schnoebelen, James Worrell. On termination and invariance for faulty channel machines. Formal Asp. Comput., 24(4-6):595-607, 2012. [doi]
@article{BouyerMOSW12, title = {On termination and invariance for faulty channel machines}, author = {Patricia Bouyer and Nicolas Markey and Joël Ouaknine and Philippe Schnoebelen and James Worrell}, year = {2012}, doi = {10.1007/s00165-012-0234-7}, url = {http://dx.doi.org/10.1007/s00165-012-0234-7}, researchr = {https://researchr.org/publication/BouyerMOSW12}, cites = {0}, citedby = {0}, journal = {Formal Asp. Comput.}, volume = {24}, number = {4-6}, pages = {595-607}, }