Pascal Raymond, Yvan Roux. Describing Non-Deterministic Reactive Systems by Means of Regular Expressions. Electronic Notes in Theoretical Computer Science, 65(5):27-34, 2002. [doi]
@article{RaymondR02,
title = {Describing Non-Deterministic Reactive Systems by Means of Regular Expressions},
author = {Pascal Raymond and Yvan Roux},
year = {2002},
url = {http://www.elsevier.com/gej-ng/31/29/23/117/53/show/Products/notes/index.htt#005},
tags = {Pascal},
researchr = {https://researchr.org/publication/RaymondR02},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {65},
number = {5},
pages = {27-34},
}