Nancy A. Lynch, Roberto Segala. A Comparison of Simulation Techniques and Algebraic Tachniques for Verifying Concurrent Systems. Formal Asp. Comput., 7(3):231-265, 1995.
@article{LynchS95:0,
title = {A Comparison of Simulation Techniques and Algebraic Tachniques for Verifying Concurrent Systems},
author = {Nancy A. Lynch and Roberto Segala},
year = {1995},
tags = { algebra},
researchr = {https://researchr.org/publication/LynchS95%3A0},
cites = {0},
citedby = {0},
journal = {Formal Asp. Comput.},
volume = {7},
number = {3},
pages = {231-265},
}