{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T05:39:31Z","timestamp":1751607571384,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":10,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,3,13]],"date-time":"2023-03-13T00:00:00Z","timestamp":1678665600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,3,13]]},"DOI":"10.1145\/3594671.3594689","type":"proceedings-article","created":{"date-parts":[[2023,9,12]],"date-time":"2023-09-12T22:06:33Z","timestamp":1694556393000},"page":"109-110","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Capturing Qubit Decoherence through Paraconsistent Transition Systems"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5037-2588","authenticated-orcid":false,"given":"Lu\u00eds Soares","family":"Barbosa","sequence":"first","affiliation":[{"name":"University of Minho, Portugal"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0646-2017","authenticated-orcid":false,"given":"Alexandre","family":"Madeira","sequence":"additional","affiliation":[{"name":"University of Aveiro, Portugal"}]}],"member":"320","published-online":{"date-parts":[[2023,9,12]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"Seiki Akama (Ed.). 2016. Towards Paraconsistent Engineering. Intelligent Systems Reference Library Vol.\u00a0110. Springer.  Seiki Akama (Ed.). 2016. Towards Paraconsistent Engineering. Intelligent Systems Reference Library Vol.\u00a0110. Springer.","DOI":"10.1007\/978-3-319-40418-9"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom"},{"key":"e_1_3_2_1_3_1","volume-title":"Paraconsistent Logic: Consistency, Contradiction and Negation","author":"Carnielli Walter","year":"2016","unstructured":"Walter Carnielli and Marcelo\u00a0Esteban Coniglio . 2016 . Paraconsistent Logic: Consistency, Contradiction and Negation . Springer International Publishing . Walter Carnielli and Marcelo\u00a0Esteban Coniglio. 2016. Paraconsistent Logic: Consistency, Contradiction and Negation. Springer International Publishing."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.358.20"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/147508.147524"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02134311"},{"key":"e_1_3_2_1_7_1","volume-title":"Proceedings of the 10th IPM International Conference on Fundamentals of Software Engineering (FSEN","author":"Soares\u00a0Barbosa Juliana\u00a0Cunha Lu\u00eds","year":"2023","unstructured":"Lu\u00eds Soares\u00a0Barbosa Juliana\u00a0Cunha , Alexandre\u00a0Madeira. 2023 . Structured specification of paraconsistent transition systems . In Proceedings of the 10th IPM International Conference on Fundamentals of Software Engineering (FSEN 2023). Springer LNCS (in print). Lu\u00eds Soares\u00a0Barbosa Juliana\u00a0Cunha, Alexandre\u00a0Madeira. 2023. Structured specification of paraconsistent transition systems. In Proceedings of the 10th IPM International Conference on Fundamentals of Software Engineering (FSEN 2023). Springer LNCS (in print)."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74107-7_5"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.22331\/q-2018-08-06-79"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"D. Sannella and A. Tarlecki. 2012. Foundations of Algebraic Specification and Formal Software Development. Springer.  D. Sannella and A. Tarlecki. 2012. Foundations of Algebraic Specification and Formal Software Development. Springer.","DOI":"10.1007\/978-3-642-17336-3"}],"event":{"name":"<Programming> '23 Companion: Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming","acronym":"<Programming> '23 Companion","location":"Tokyo Japan"},"container-title":["Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3594671.3594689","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3594671.3594689","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:09:08Z","timestamp":1750183748000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3594671.3594689"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,3,13]]},"references-count":10,"alternative-id":["10.1145\/3594671.3594689","10.1145\/3594671"],"URL":"https:\/\/doi.org\/10.1145\/3594671.3594689","relation":{},"subject":[],"published":{"date-parts":[[2023,3,13]]},"assertion":[{"value":"2023-09-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}