Behavioral extensions of institutions

Andrei Popescu; Grigore Roşu

doi:10.1007/11548133_21

Behavioral extensions of institutions

Research output: Contribution to journal › Conference article

Abstract

We show that any institution I satisfying some reasonable conditions can be transformed into another institution, I_bth, which captures formally and abstractly the intuitions of adding support for behavioral equivalence and reasoning to an existing, particular algebraic framework. We call our transformation an "extension" because I_beh has the same sentences as I and because its entailment relation includes that of I. Many properties of behavioral equivalence in concrete hidden logics follow as special cases of corresponding institutional results. As expected, the presented constructions and results can be instantiated to other logics satisfying our requirements as well, thus leading to novel behavioral logics, such as partial or infinitary ones, that have the desired properties.

Original language	English (US)
Pages (from-to)	331-347
Number of pages	17
Journal	Lecture Notes in Computer Science
Volume	3629
DOIs	https://doi.org/10.1007/11548133_21
State	Published - Jan 1 2005
Event	First International Conference on Algebra and Coalgebra in Computer Science, CALCO 2005 - Swansea, United Kingdom Duration: Sep 3 2005 → Sep 6 2005

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science(all)

Access to Document

10.1007/11548133_21

Fingerprint Dive into the research topics of 'Behavioral extensions of institutions'. Together they form a unique fingerprint.

Cite this

Popescu, A., & Roşu, G. (2005). Behavioral extensions of institutions. Lecture Notes in Computer Science, 3629, 331-347. https://doi.org/10.1007/11548133_21

@article{6a6bc0baa28048a8b568e5a57c28caef,

title = "Behavioral extensions of institutions",

abstract = "We show that any institution I satisfying some reasonable conditions can be transformed into another institution, Ibth, which captures formally and abstractly the intuitions of adding support for behavioral equivalence and reasoning to an existing, particular algebraic framework. We call our transformation an {"}extension{"} because Ibeh has the same sentences as I and because its entailment relation includes that of I. Many properties of behavioral equivalence in concrete hidden logics follow as special cases of corresponding institutional results. As expected, the presented constructions and results can be instantiated to other logics satisfying our requirements as well, thus leading to novel behavioral logics, such as partial or infinitary ones, that have the desired properties.",

author = "Andrei Popescu and Grigore Ro{\c s}u",

year = "2005",

month = jan,

day = "1",

doi = "10.1007/11548133_21",

language = "English (US)",

volume = "3629",

pages = "331--347",

journal = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

issn = "0302-9743",

publisher = "Springer Verlag",

note = "First International Conference on Algebra and Coalgebra in Computer Science, CALCO 2005 ; Conference date: 03-09-2005 Through 06-09-2005",

}

TY - JOUR

T1 - Behavioral extensions of institutions

AU - Popescu, Andrei

AU - Roşu, Grigore

PY - 2005/1/1

Y1 - 2005/1/1

N2 - We show that any institution I satisfying some reasonable conditions can be transformed into another institution, Ibth, which captures formally and abstractly the intuitions of adding support for behavioral equivalence and reasoning to an existing, particular algebraic framework. We call our transformation an "extension" because Ibeh has the same sentences as I and because its entailment relation includes that of I. Many properties of behavioral equivalence in concrete hidden logics follow as special cases of corresponding institutional results. As expected, the presented constructions and results can be instantiated to other logics satisfying our requirements as well, thus leading to novel behavioral logics, such as partial or infinitary ones, that have the desired properties.

AB - We show that any institution I satisfying some reasonable conditions can be transformed into another institution, Ibth, which captures formally and abstractly the intuitions of adding support for behavioral equivalence and reasoning to an existing, particular algebraic framework. We call our transformation an "extension" because Ibeh has the same sentences as I and because its entailment relation includes that of I. Many properties of behavioral equivalence in concrete hidden logics follow as special cases of corresponding institutional results. As expected, the presented constructions and results can be instantiated to other logics satisfying our requirements as well, thus leading to novel behavioral logics, such as partial or infinitary ones, that have the desired properties.

UR - http://www.scopus.com/inward/record.url?scp=26944466320&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=26944466320&partnerID=8YFLogxK

U2 - 10.1007/11548133_21

DO - 10.1007/11548133_21

M3 - Conference article

AN - SCOPUS:26944466320

VL - 3629

SP - 331

EP - 347

JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

JF - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SN - 0302-9743

T2 - First International Conference on Algebra and Coalgebra in Computer Science, CALCO 2005

Y2 - 3 September 2005 through 6 September 2005

ER -