Irek Ulidowski. Finite axiom systems for testing preorder and De Simone process languages. Theoretical Computer Science, 239(1):97-139, 2000. [doi]
@article{Ulidowski00,
title = {Finite axiom systems for testing preorder and De Simone process languages},
author = {Irek Ulidowski},
year = {2000},
doi = {10.1016/S0304-3975(99)00214-5},
url = {http://dx.doi.org/10.1016/S0304-3975(99)00214-5},
tags = {testing},
researchr = {https://researchr.org/publication/Ulidowski00},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {239},
number = {1},
pages = {97-139},
}