ponencia en congreso.page.titleprefix Complete calculi for structured specifications in fork algebra
dc.contributor.author | López Pombo, Carlos Gustavo | |
dc.contributor.author | Frías, Marcelo | |
dc.date.accessioned | 2022-05-31T19:34:05Z | |
dc.date.available | 2022-05-31T19:34:05Z | |
dc.date.issued | 2010 | |
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.issn | 0302-9743 | |
dc.identifier.uri | http://ri.itba.edu.ar/handle/123456789/3901 | |
dc.language.iso | en | en |
dc.relation | info:eu-repo/semantics/altIdentifier/doi/doi:10.1007/978-3-642-14808-8_20 | |
dc.title | Complete calculi for structured specifications in fork algebra | en |
dc.type | Ponencias en Congresos | es |
dc.type | info:eu-repo/semantics/acceptedVersion | |
dspace.entity.type | Ponencia en Congreso | |
itba.description.filiation | Fil: López Pombo, Carlos Gustavo. Universidad de Buenos Aires; Argentina. | |
itba.description.filiation | Fil: López Pombo, Carlos Gustavo. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. | |
itba.description.filiation | Fil: Frías, Marcelo. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. | |
itba.description.filiation | Fil: Frías, Marcelo. Instituto Tecnológico de Buenos Aires; Argentina. |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- Lopez-Pombo_Frías_ING_INFORMATICA_ponencia.pdf
- Size:
- 206.25 KB
- Format:
- Adobe Portable Document Format
- Description:
- Ponencia_Lopez_Pombo
License bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- license.txt
- Size:
- 1.6 KB
- Format:
- Item-specific license agreed upon to submission
- Description: