{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:49:02Z","timestamp":1725468542487},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540648277"},{"type":"electronic","value":"9783540685326"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0055803","type":"book-chapter","created":{"date-parts":[[2006,8,17]],"date-time":"2006-08-17T17:36:31Z","timestamp":1155836191000},"page":"533-542","source":"Crossref","is-referenced-by-count":3,"title":["About synchronization languages"],"prefix":"10.1007","author":[{"given":"Isabelle","family":"Ryl","sequence":"first","affiliation":[]},{"given":"Yves","family":"Roos","sequence":"additional","affiliation":[]},{"given":"Mireille","family":"Clerbout","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,28]]},"reference":[{"key":"50_CR1","doi-asserted-by":"crossref","unstructured":"Clerbout, M., Roos, Y., and Ryl, I. Synchronization languages. Theoretical Computer Science. to appear.","DOI":"10.1016\/S0304-3975(97)00134-5"},{"key":"50_CR2","unstructured":"Clerbout, M., Roos, Y., and Ryl, I. About synchronization languages (full version). Tech. Rep. IT-98-313, Universit\u00e9 des Sciences et Technologies de Lille, 1998."},{"key":"50_CR3","unstructured":"Clerbout, M., Roos, Y., and Ryl, I. Langages de synchronisation et syst\u00e8mes de r\u00e9\u00e9criture. Tech. Rep. IT-98-311, Universit\u00e9 des Sciences et Technologies de Lille, 1998."},{"volume-title":"The Book of Traces","year":"1995","key":"50_CR4","unstructured":"Diekert, V., and Rozenberg, G., Eds. The Book of Traces. World Scientific, Singapore, 1995."},{"key":"50_CR5","unstructured":"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\u2013189."},{"key":"50_CR6","doi-asserted-by":"crossref","first-page":"423","DOI":"10.3233\/FI-1996-253412","volume":"25","author":"L. Guo","year":"1996","unstructured":"Guo, L., Salomaa, K., and Yu, S. On synchronization languages. Fundamenta Informaticae 25 (1996), 423\u2013436.","journal-title":"Fundamenta Informaticae"},{"key":"50_CR7","first-page":"209","volume-title":"vol. 1295 of Lecture Notes in Computer Science","author":"I. Ryl","year":"1997","unstructured":"Ryl, I., Roos, Y., and Clerbout, M. Partial characterization of synchronization languages. In Proc. 22nd International Symposium on Mathematical Foundations of Computer Science (MFCS'97) (Bratislava, Slovakia, 1997), I. Pr\u00edvara and P. Ru\u017di\u010dka, Eds., vol. 1295 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, pp. 209\u2013218."},{"key":"50_CR8","series-title":"vol. 1261 of Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"322","DOI":"10.1007\/3-540-63246-8_20","volume-title":"Structures in Logic and Computer Science, a Selection of Essays in Honor of A. Ehrenfeucht","author":"K. Salomaa","year":"1997","unstructured":"Salomaa, K., and Yu, S. Rewriting rules for synchronization languages. In Structures in Logic and Computer Science, a Selection of Essays in Honor of A. Ehrenfeucht, J. Mycielski, G. Rozenberg, and A. Salomaa, Eds., vol. 1261 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1997, pp. 322\u2013338."},{"issue":"1\u20132","key":"50_CR9","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/S0304-3975(96)00011-4","volume":"170","author":"V. Sassone","year":"1996","unstructured":"Sassone, V., Nielsen, M., and Winskel, G. Models for concurrency: Towards a classification. Theoretical Computer Science 170, 1\u20132 (1996), 297\u2013348.","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"50_CR10","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1006\/inco.1997.2634","volume":"136","author":"R. J. Glabbeck van","year":"1997","unstructured":"van Glabbeck, R. J., and Vaandrager, F. The difference between splitting in n and n + 1. Information and Computation 136, 2 (1997), 109\u2013142.","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1998"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0055803","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,17]],"date-time":"2020-04-17T23:03:52Z","timestamp":1587164632000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0055803"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540648277","9783540685326"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/bfb0055803","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}