{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,2]],"date-time":"2025-10-02T05:56:53Z","timestamp":1759384613890},"reference-count":0,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.51.2","type":"journal-article","created":{"date-parts":[[2011,2,25]],"date-time":"2011-02-25T00:20:32Z","timestamp":1298593232000},"page":"16-33","source":"Crossref","is-referenced-by-count":16,"title":["On the Decidability of Non Interference over Unbounded Petri Nets"],"prefix":"10.4204","volume":"51","author":[{"given":"Eike","family":"Best","sequence":"first","affiliation":[{"name":"Oldenburg"}]},{"given":"Philippe","family":"Darondeau","sequence":"additional","affiliation":[{"name":"Rennes"}]},{"given":"Roberto","family":"Gorrieri","sequence":"additional","affiliation":[{"name":"Bologna"}]}],"member":"2720","published-online":{"date-parts":[[2011,2,25]]},"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2011,3,1]],"date-time":"2011-03-01T20:09:16Z","timestamp":1299010156000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/1102.5585v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,2,25]]},"references-count":0,"URL":"https:\/\/doi.org\/10.4204\/eptcs.51.2","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,2,25]]}}}