Paul Gardiner. Power Simulation and its Relation to Traces and Failures Refinement. Electronic Notes in Theoretical Computer Science, 32:78-100, 2000. [doi]
@article{Gardiner00, title = {Power Simulation and its Relation to Traces and Failures Refinement}, author = {Paul Gardiner}, year = {2000}, url = {http://www.elsevier.com/gej-ng/31/29/23/57/23/show/Products/notes/index.htt#006}, tags = {refinement}, researchr = {https://researchr.org/publication/Gardiner00}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {32}, pages = {78-100}, }