Articles citing this article

The Citing articles tool gives a list of articles citing the current article.
The citing articles come from EDP Sciences database, as well as other publishers participating in CrossRef Cited-by Linking Program. You can set up your personal account to receive an email alert each time this article is cited by a new article (see the menu on the right-hand side of the abstract page).

Cited article:

Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates

Liyong Lin, Alin Stefanescu, Weilin Wang, Rong Su and W. Murray Wonham
Automatica 87 290 (2018)

Consensus Game Acceptors and Iterated Transductions

Dietmar Berwanger and Marie van den Bogaard
International Journal of Foundations of Computer Science 29 (02) 165 (2018)