Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/90283| Título: | Paraconsistent transition systems |
| Autor(es): | Cruz, Ana Madeira, Alexandre Barbosa, L. S. |
| Palavras-chave: | Paraconsistency Transition systems |
| Data: | 23-Mar-2023 |
| Editora: | Open Publishing Association |
| Revista: | Electronic Proceedings in Theoretical Computer Science |
| Citação: | 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 |
| Resumo(s): | 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. |
| Tipo: | Artigo em ata de conferência |
| URI: | https://hdl.handle.net/1822/90283 |
| DOI: | 10.4204/EPTCS.376.3 |
| ISSN: | 2075-2180 |
| Versão da editora: | https://arxiv.org/abs/2303.13254v1 |
| Arbitragem científica: | yes |
| Acesso: | Acesso aberto |
| Aparece nas coleções: |
