Structured Specification of Paraconsistent Transition Systems
Structured Specification of Paraconsistent Transition Systems
| dc.contributor.author | Luís Soares Barbosa | en |
| dc.contributor.author | Alexandre Castro Madeira | en |
| dc.contributor.other | 5603 | en |
| dc.contributor.other | 5620 | en |
| dc.date.accessioned | 2024-02-02T14:47:00Z | |
| dc.date.available | 2024-02-02T14:47:00Z | |
| dc.date.issued | 2023 | en |
| dc.description.abstract | This paper sets the basis for a compositional and structured approach to the specification of paraconsistent transitions systems, framed as an institution. The latter and theirs logics were previously introduced in [CMB22] to deal with scenarios of inconsistency in which several requirements are on stake, either reinforcing or contradicting each other. © 2023, IFIP International Federation for Information Processing. | en |
| dc.identifier | P-00Z-2XN | en |
| dc.identifier.uri | https://repositorio.inesctec.pt/handle/123456789/14806 | |
| dc.language | eng | en |
| dc.rights | info:eu-repo/semantics/openAccess | en |
| dc.title | Structured Specification of Paraconsistent Transition Systems | en |
| dc.type | en | |
| dc.type | Publication | en |
Files
Original bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- P-00Z-2XN.pdf
- Size:
- 350.05 KB
- Format:
- Adobe Portable Document Format
- Description: