{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:54:57Z","timestamp":1725663297377},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540127277"},{"type":"electronic","value":"9783540387145"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1983]]},"DOI":"10.1007\/3-540-12727-5_15","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T12:54:43Z","timestamp":1330174483000},"page":"255-268","source":"Crossref","is-referenced-by-count":0,"title":["Nivat-processing systems: Decision problems related to protection and synchronization"],"prefix":"10.1007","author":[{"given":"Sorin","family":"Istrail","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cristian","family":"Masalagiu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"unstructured":"J. Beauquier \u2014 Sur la compatibilit\u00e9 des syst\u00e8mes de s\u00e9curit\u00e9. Proc. 3-rd International Symposium on Programming, B.Robinet ed.,Paris, 1978, p.110\u2013125.","key":"15_CR1"},{"doi-asserted-by":"crossref","unstructured":"J. Beauquier, M.Nivat \u2014 Application of Formal Language Theory to Problems of Security and Synchronization. Formal Language Theory, R.Book ed., Academic Press, 1980, p.407\u2013453.","key":"15_CR2","DOI":"10.1016\/B978-0-12-115350-2.50018-X"},{"doi-asserted-by":"crossref","unstructured":"J. Berstel \u2014Transductions and Context-Free Languages, Teubner Vlg, 1979.","key":"15_CR3","DOI":"10.1007\/978-3-663-09367-1"},{"unstructured":"M.A.Harrison \u2014 Introduction to Formal Language Theory. Addison Wesley Publishing Company, Inc.,1978.","key":"15_CR4"},{"doi-asserted-by":"crossref","unstructured":"M.A.Harrison, W.L.Ruzzo, J.D.Ullman \u2014 Protection in Operating Systems, CACM, vol.19, nr.9, 1976.","key":"15_CR5","DOI":"10.1145\/360303.360333"},{"unstructured":"S.Istrail, C.Masalagiu \u2014 On Protection in \"Intelligent\" Processing Systems. New Directions in Artificial Intelligence, C.Ignat ed., Universitatea \"Al.I.Cuza\", Ia\u015fi, 1981.","key":"15_CR6"},{"key":"15_CR7","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/0304-3975(76)90068-2","volume":"3","author":"N. D. Jones","year":"1977","unstructured":"N.D. Jones, W.T. Laaser \u2014 Complete problems for Deterministic Polynomial Time. Theoretical Computer Science 3, 1977, p.105\u2013117.","journal-title":"Theoretical Computer Science"},{"unstructured":"R.J.Lipton, L.Snyder \u2014 A Linear Time Algorithm for Deciding Subject Security. Research Report 72, Yale University, 1976.","key":"15_CR8"},{"unstructured":"R.J.Lipton, L.Snyder \u2014 On Synchronization and Security. Foundations of Secure Computations, 1978, p. 367\u2013385.","key":"15_CR9"},{"unstructured":"C.Masalagiu \u2014 Characterizing Regularity of Languages by Data Protection Systems. Annales de l'Universit\u00e9, Ia\u015fi, Tome XXVIII, f.2, 1982 (to appear).","key":"15_CR10"},{"doi-asserted-by":"crossref","unstructured":"M.Nivat \u2014 Languages alg\u00e9briques de mots infinis. R.A.I.R.O., Theoretical Computer Science, vol. 12, nr.3, 1978.","key":"15_CR11","DOI":"10.1051\/ita\/1978120302591"},{"unstructured":"M.Nivat \u2014 Infinite Words, Infinite Trees, Infinite Computations. Foundations of Computer Science III, part.2, J.W.de Bakker and J. van Leeuwen ed., 1979, p.3\u201353.","key":"15_CR12"},{"issue":"4","key":"15_CR13","first-page":"899","volume":"11","author":"M. Nivat","year":"1979","unstructured":"M. Nivat \u2014 Sur la synchronisation des processus, Revue Technique Thomson-CSF, vol.11, nr.4, 1979, p.899\u2013919.","journal-title":"Revue Technique Thomson-CSF"},{"key":"15_CR14","volume-title":"Formal Languages","author":"A. Salomaa","year":"1973","unstructured":"A. Salomaa \u2014 Formal Languages, Academic Press, New York, 1973."},{"issue":"2","key":"15_CR15","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1147\/sj.192.0229","volume":"19","author":"C. Wood","year":"1980","unstructured":"C. Wood, E.B. Fernandez, R.C. Summers \u2014 Data Base Security; Requirements, Policies and Models. IBM Systems Journal, vol.19, nr.2, 1980, p.229\u2013253.","journal-title":"IBM Systems Journal"},{"key":"15_CR16","first-page":"285","volume":"20","author":"L. Boasson","year":"1980","unstructured":"L. Boasson, M. Nivat \u2014 Adherences of Languages, J.C.S.S., vol.20, 1980, p.285\u2013309.","journal-title":"J.C.S.S."},{"unstructured":"A.Arnold, M.Nivat \u2014 Comportements de processus \u2014Colloque AFCET, Paris, mars, 1982, p.35\u201368.","key":"15_CR17"},{"key":"15_CR18","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1016\/0304-3975(82)90080-9","volume":"21","author":"S. Istrail","year":"1982","unstructured":"S. Istrail \u2014 Some Remarks on Nonalgebraic Adherences, Theor.Comput. Sci. 21, 1982, p. 341\u2013349","journal-title":"Theor.Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","CAAP'83"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-12727-5_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:06:10Z","timestamp":1605625570000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-12727-5_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983]]},"ISBN":["9783540127277","9783540387145"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-12727-5_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1983]]}}}