Faron Moller. Logics for Concurrency: Structure Versus Automata. ACM Computing Surveys, 28(4es):50, 1996.
@article{Moller96:1, title = {Logics for Concurrency: Structure Versus Automata}, author = {Faron Moller}, year = {1996}, tags = {logic}, researchr = {https://researchr.org/publication/Moller96%3A1}, cites = {0}, citedby = {0}, journal = {ACM Computing Surveys}, volume = {28}, number = {4es}, pages = {50}, }