Abstract
In the framework of the description of processes behaviours by words and languages, conditions of synchronization can be expressed by the means of regular sets. Two problems about such synchronization sets are studied here: the decidability of the equivalence of two of them and the obtention of minimal ones.
Preview
Unable to display preview. Download preview PDF.
References
ARNOLD A. et NIVAT M., Comportements de processus, LITP Report no 82–12, Univ. Paris VII, 1982.
BEAUQUIER J. et NIVAT M., Application of formal language theory to problems of security and synchronization, in Formal Language Theory, Perspectives and Open Problems, R.V. BOOK (ed.), Academic Press, 407–453.
BERSTEL J., Transductions and context-free languages, Teubner Verlag, 1979.
GINSBURG S., Algebraic and Automata-Theoretic Properties of Formal Languages, North-Holland, 1975.
GOLDSTIEN J., Substitution and bounded languages, J. of Comput. and Syst. Sci. 6, 9–29, 1972.
GIFFORD D. and SPECTOR A., The Space Shuttle Primary Computer System, Commun. ACM, 27, 9, 872–900, 1984.
LATTEUX M., Cônes rationnels commutatifs, J. of Comput. and Syst. Sci. 18, 307–333, 1979.
NIVAT M., Behaviours of synchronized systems of processes, LITP Report no81–64, Univ. Paris VII, 1981.
OGDEN W., A Helpful Result for Proving Inherent Ambiguity, Math. System Theory 2, 191–194, 1967.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1986 Springer-Verlag
About this paper
Cite this paper
Beauquier, J., Bérard, B. (1986). On the equivalence of synchronization sets. In: Franchi-Zannettacci, P. (eds) CAAP '86. CAAP 1986. Lecture Notes in Computer Science, vol 214. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0022656
Download citation
DOI: https://doi.org/10.1007/BFb0022656
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16443-2
Online ISBN: 978-3-540-39783-0
eBook Packages: Springer Book Archive