Please use this identifier to cite or link to this item:
http://hdl.handle.net/10773/15706
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Babenyshev, Sergey | pt |
dc.contributor.author | Martins, Manuel A. | pt |
dc.date.accessioned | 2016-06-13T11:14:40Z | - |
dc.date.available | 2016-06-13T11:14:40Z | - |
dc.date.issued | 2016-07 | - |
dc.identifier.issn | 1570-8683 | pt |
dc.identifier.uri | http://hdl.handle.net/10773/15706 | - |
dc.description.abstract | This work advances a research agenda which has as its main aim the application of Abstract Algebraic Logic (AAL) methods and tools to the specification and verification of software systems. It uses a generalization of the notion of an abstract deductive system to handle multi-sorted deductive systems which differentiate visible and hidden sorts. Two main results of the paper are obtained by generalizing properties of the Leibniz congruence — the central notion in AAL. In this paper we discuss a question we posed in [1] about the relationship between the behavioral equivalences of equivalent hidden logics. We also present a necessary and sufficient intrinsic condition for two hidden logics to be equivalent. | pt |
dc.language.iso | eng | pt |
dc.publisher | Elsevier | pt |
dc.relation | FCT/CIDMA - UID/MAT/04106/2013 | pt |
dc.relation | info:eu-repo/grantAgreement/EC/FP7/318986 | pt |
dc.relation | Spanish Ministry of Research - FFI2013-47126-P | pt |
dc.rights | openAccess | por |
dc.subject | Behavioral equivalence | pt |
dc.subject | Hidden logic | pt |
dc.subject | Leibniz congruence | pt |
dc.title | Behavioral equivalence of hidden k-logics: an abstract algebraic approach | pt |
dc.type | article | pt |
dc.peerreviewed | yes | pt |
ua.distribution | international | pt |
degois.publication.firstPage | 72 | pt |
degois.publication.lastPage | 91 | pt |
degois.publication.title | Journal of Applied Logic | pt |
degois.publication.volume | 16 | pt |
dc.identifier.doi | 10.1016/j.jal.2016.03.002 | pt |
Appears in Collections: | CIDMA - Artigos AGG - Artigos |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
BEhLog2016lversionRIA.pdf | Documento principal | 422.14 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.