Fundamenta Informaticae > 2022 > Vol. 186, nr 1-4 > 89--120
Source
Abstract
Identifiers
journal ISSN : | 0169-2968 |
journal e-ISSN : | 1875-8681 |
DOI | 10.3233/FI-222120 |
Authors
Keywords
Additional information
Publisher
Fields of science
Bibliography
-
[1] Angluin D. Local and global properties in networks of processors (extended abstract). Proceedings Symp. on Theory of Computing, 1980, pp. 82-93.
-
[2] Arnold A. Finite transition systems, Prentice-Hall, 1994 (translated from French by J. Plaice). ISBN: 0130929905, 9780130929907.
-
[3] Bloem R, Chatterjee K, and Jobstmann B. Games and synthesis. In: Handbook of Model-Checking. Springer, 2014.