Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/90283
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Cruz, Ana | por |
dc.contributor.author | Madeira, Alexandre | por |
dc.contributor.author | Barbosa, L. S. | por |
dc.date.accessioned | 2024-03-28T18:09:45Z | - |
dc.date.available | 2024-03-28T18:09:45Z | - |
dc.date.issued | 2023-03-23 | - |
dc.identifier.citation | Cruz, A., Madeira, A., & Barbosa, L. S. (2023, March 23). Paraconsistent Transition Systems. Electronic Proceedings in Theoretical Computer Science. Open Publishing Association. http://doi.org/10.4204/eptcs.376.3 | por |
dc.identifier.issn | 2075-2180 | - |
dc.identifier.uri | https://hdl.handle.net/1822/90283 | - |
dc.description.abstract | Often in Software Engineering, a modeling formalism has to support scenarios of inconsistency in which several requirements either reinforce or contradict each other. Paraconsistent transition systems are proposed in this paper as one such formalism: states evolve through two accessibility relations capturing weighted evidence of a transition or its absence, respectively. Their weights come from a specific residuated lattice. A category of these systems, and the corresponding algebra, is defined as providing a formal setting to model different application scenarios. One of them, dealing with the effect of quantum decoherence in quantum programs, is used for illustration purposes. | por |
dc.description.sponsorship | This work is supported by by FCT, the Portuguese funding agency for Science and Technology with the projects UIDB/04106/2020 and PTDC/CCI-COM/4280/2021 | por |
dc.language.iso | eng | por |
dc.publisher | Open Publishing Association | por |
dc.relation | info:eu-repo/grantAgreement/FCT/3599-PPCDT/PTDC%2FCCI-COM%2F4280%2F2021/PT | por |
dc.relation | info:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UIDB%2F04106%2F2020/PT | por |
dc.rights | openAccess | por |
dc.subject | Paraconsistency | por |
dc.subject | Transition systems | por |
dc.title | Paraconsistent transition systems | por |
dc.type | conferencePaper | por |
dc.peerreviewed | yes | por |
dc.relation.publisherversion | https://arxiv.org/abs/2303.13254v1 | por |
oaire.citationStartPage | 3 | por |
oaire.citationEndPage | 15 | por |
oaire.citationVolume | 376 | por |
dc.identifier.doi | 10.4204/EPTCS.376.3 | por |
dc.subject.fos | Ciências Naturais::Ciências da Computação e da Informação | por |
sdum.journal | Electronic Proceedings in Theoretical Computer Science | por |
sdum.conferencePublication | Proceedings 17th International Workshop on Logical and Semantic Frameworks with Applications, LSFA 2022, Belo Horizonte, Brazil, 23-24, September 2022 | por |
oaire.version | VoR | por |
Aparece nas coleções: |