{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,20]],"date-time":"2024-09-20T15:47:25Z","timestamp":1726847245539},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2007,9,12]],"date-time":"2007-09-12T00:00:00Z","timestamp":1189555200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2007,11,5]]},"DOI":"10.1007\/s10626-007-0020-5","type":"journal-article","created":{"date-parts":[[2007,9,11]],"date-time":"2007-09-11T13:07:23Z","timestamp":1189516043000},"page":"425-446","source":"Crossref","is-referenced-by-count":111,"title":["Concurrent Secrets"],"prefix":"10.1007","volume":"17","author":[{"given":"E.","family":"Badouel","sequence":"first","affiliation":[]},{"given":"M.","family":"Bednarczyk","sequence":"additional","affiliation":[]},{"given":"A.","family":"Borzyszkowski","sequence":"additional","affiliation":[]},{"given":"B.","family":"Caillaud","sequence":"additional","affiliation":[]},{"given":"P.","family":"Darondeau","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2007,9,12]]},"reference":[{"key":"20_CR1","unstructured":"Arnold A, Nivat M (1982) Comportements de processus. In: Actes du Colloque AFCET \u201cLes math\u00e9matiques de l\u2019informatique\u201d, pp 35\u201368"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"Berstel J (1978) Transductions and context-free languages. Teubner","DOI":"10.1007\/978-3-663-09367-1"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"Bryans JW, Koutny M, Mazar\u00e9 L, Ryan PYA (2006) Opacity generalised to transition systems. In: revised selected papers of the 3rd international workshop on formal aspects in security and trust (FAST 2005). LNCS, vol 3866. Newcastle upon Tyne, UK, Springer Verlag, pp 81\u201395","DOI":"10.1007\/11679219_7"},{"key":"20_CR4","volume-title":"Automata, languages and machines, vol A","author":"S Eilenberg","year":"1974","unstructured":"Eilenberg S (1974) Automata, languages and machines, vol A. Academic, New York"},{"key":"20_CR5","volume-title":"Algebraic theory of automata","author":"A Ginzburg","year":"1968","unstructured":"Ginzburg A (1968) Algebraic theory of automata. Academic, New York"},{"key":"20_CR6","unstructured":"Mazar\u00e9 L (2004) Using unification for opacity properties. In: Proc. of the 4th IFIP WG1.7 Workshop on Issues in the Theory of Security (WITS\u201904), Barcelona, Spain, pp 165\u2013176"},{"key":"20_CR7","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"PJ Ramadge","year":"1987a","unstructured":"Ramadge PJ, Wonham WM (1987a) Supervisory control of a class of discrete event processes. SIAM J Control Optim 25:206\u2013230","journal-title":"SIAM J Control Optim"},{"key":"20_CR8","doi-asserted-by":"crossref","first-page":"637","DOI":"10.1137\/0325036","volume":"25","author":"PJ Ramadge","year":"1987b","unstructured":"Ramadge PJ, Wonham WM (1987b) On the supremal controllable language of a given language. SIAM J Control Optim 25:637\u2013659","journal-title":"SIAM J Control Optim"},{"key":"20_CR9","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A Tarski","year":"1955","unstructured":"Tarski A (1955) A lattice-theoretical fixpoint theorem and its applications. Pacific J Math 5:285\u2013309","journal-title":"Pacific J Math"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-007-0020-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-007-0020-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-007-0020-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T19:58:51Z","timestamp":1559246331000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-007-0020-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,9,12]]},"references-count":9,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2007,11,5]]}},"alternative-id":["20"],"URL":"https:\/\/doi.org\/10.1007\/s10626-007-0020-5","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,9,12]]}}}