Abstract
Generalized synchronization languages are a model used to describe the behaviors of distributed applications whose synchronization constraints are expressed by generalized synchronization expressions — an extension of synchronization expressions. Generalized synchronization languages were conjectured by Salomaa and Yu to be characterized by a semi-commutation. We show that this semi-commutation characterizes the images of generalized synchronization languages by a morphism-like class of rational functions.
Topics. Automata and formal languages, theory of parallel and distributed computation.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Cori, R., Sopena, E., Latteux, M., and Roos, Y. 2-asynchronous automata. Theoretical Computer Science 61 (1988), 93–102.
De Simone, R. Langages infinitaires et produit de mixage. Theoretical Computer Science 31 (1984), 83–100.
Diekert, V., and Rozenberg, G., Eds. The Book of Traces. World Scientific, Singapore, 1995.
Diekert, V., Y. Mètivier, Partial Commutation and Traces. Handbook of Formal Languages (1997), 457–533.
Duboc, C.Commutations dans les Monoïdes libres: un Cadre Thèorique pour l’Ètude du Parallèlisme. PhD thesis, Universitè de Rouen, 1986.
Govindarajan, R., Guo, L., Yu, S., and Wang, P. ParC project: Practical constructs for parallel programming languages. In Proc. IEEE 15th Annual Internationnal Computer Software & Applications Conference (1991), pp. 183–189.
Mètivier, Y. Contribution à l’ètude des monoïdes de commutations. Thèse d’ètat, Universitè de Bordeaux I, 1987.
Roos, Y.Contribution à l’Ètude des Fonctions de Commutation Partielle. PhD thesis, Universitè des Sciences et Technologies de Lille, Lille, France, 1989.
Ryl, I., Roos, Y., and Clerbout, M. About synchronization languages. In Proc. MFCS’98 (Brno, Czech Republic, 1998), LNCS 1450, Springer-Verlag, Berlin, pp. 533–542.
Salomaa, K., and Yu, S. Synchronization expressions with extended join operation. Theoretical Computer Science 207 (1998), 73–88.
Sassone, V., Nielsen, M., and Winskel, G. Models for concurrency: Towards a classification. Theoretical Computer Science 170, 1-2 (1996), 297–348.
van Glabbeck, R. J., and Vaandrager, F. The difference between splitting in n and n + 1. Information and Computation 136, 2 (1997), 109–142.
Zielonka, W. Notes on finite asynchronous automata. R.A.I.R.O. — Theoretical Informatics and Applications 21, 2 (1987), 99–135.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ryl, I., Roos, Y., Clerbout, M. (1999). Generalized synchronization languages. In: Ciobanu, G., Păun, G. (eds) Fundamentals of Computation Theory. FCT 1999. Lecture Notes in Computer Science, vol 1684. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48321-7_38
Download citation
DOI: https://doi.org/10.1007/3-540-48321-7_38
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66412-3
Online ISBN: 978-3-540-48321-2
eBook Packages: Springer Book Archive