Finite and infinite implementation of transition systems

W. Hesselink,G. D. Lavalette
DOI: https://doi.org/10.1016/j.tcs.2012.08.014
IF: 1.002
2012-11-01
Theoretical Computer Science
Abstract:
What problem does this paper attempt to address?