ponencia en congreso.page.titleprefix
Complete calculi for structured specifications in fork algebra

dc.contributor.authorLópez Pombo, Carlos Gustavo
dc.contributor.authorFrías, Marcelo
dc.date.accessioned2022-05-31T19:34:05Z
dc.date.available2022-05-31T19:34:05Z
dc.date.issued2010
dc.description.abstract"In previous articles we presented Argentum, a tool for reasoning across heterogeneous specifications based on the language of fork algebras. Argentum’s foundations were formalized in the framework of institutions. The formalization made simple to describe a methodology capable of producing a complete system desription from partial views, eventually written in different logical languages. Structured specifications were introduced by Sannella and Tarlecki and extensively studied by Borzyszkowski. The latter also presented conditions under which the calculus for structured specifications is complete. Using fork algebras as a “universal” institution capable of representing expressive logics (such as dynamic and temporal logics), requires using a fork language that includes a reflexive-transitive closure operator. The calculus thus obtained does not meet the conditions required by Borzyszkowski. In this article we present structure building operators (SBOs) over fork algebras, and provide a complete calculus for these operators."en
dc.identifier.issn0302-9743
dc.identifier.urihttp://ri.itba.edu.ar/handle/123456789/3901
dc.language.isoenen
dc.relationinfo:eu-repo/semantics/altIdentifier/doi/doi:10.1007/978-3-642-14808-8_20
dc.titleComplete calculi for structured specifications in fork algebraen
dc.typePonencias en Congresoses
dc.typeinfo:eu-repo/semantics/acceptedVersion
dspace.entity.typePonencia en Congreso
itba.description.filiationFil: López Pombo, Carlos Gustavo. Universidad de Buenos Aires; Argentina.
itba.description.filiationFil: López Pombo, Carlos Gustavo. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
itba.description.filiationFil: Frías, Marcelo. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. 
itba.description.filiationFil: Frías, Marcelo. Instituto Tecnológico de Buenos Aires; Argentina.

Files

Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
Lopez-Pombo_Frías_ING_INFORMATICA_ponencia.pdf
Size:
206.25 KB
Format:
Adobe Portable Document Format
Description:
Ponencia_Lopez_Pombo
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.6 KB
Format:
Item-specific license agreed upon to submission
Description: