Fundamenta Informaticae > 2008 > Vol. 85, nr 1-4 > 399-408
Source
Abstract
Identifiers
journal ISSN : | 0169-2968 |
journal e-ISSN : | 1875-8681 |
Authors
Keywords
Additional information
Publisher
Fields of science
Bibliography
-
[1] Abramsky, S., Gabbay, D. M., Maibaum, T. S. E., Eds.: Handbook of Logic in Computer Science, Vol 1, Oxford University Press, 1992.
-
[2] Cori, R., Perrin, D.: Automates et Commutations Partielles, ITA, 19(1), 1985, 21-32.
-
[3] Diekert, V., Rozenberg, G., Eds.: The Book of Traces, World Scientific, Singapore, 1995.