Universidad Complutense de Madrid
E-Prints Complutense

Reflection and Preservation of Properties in Coalgebraic (bi)Simulations

Impacto

Downloads

Downloads per month over past year

Fábregas, Ignacio and Palomino, Miguel and Frutos Escrig, David de (2008) Reflection and Preservation of Properties in Coalgebraic (bi)Simulations. In Theoretical Aspects of Computing – ICTAC 2007 : 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings. Lecture notes in computer science (4711). Springer, pp. 231-245. ISBN 978-3-540-75290-5

[img]
Preview
PDF
493kB

Official URL: http://link.springer.com/content/pdf/10.1007%2F978-3-540-75292-9_16


URLURL Type
http://www.springer.com/Publisher


Abstract

Our objective is to extend the standard results of preservation and reflection of properties by bisimulations to the coalgebraic setting, as well as to study under what conditions these results hold for simulations. The notion of bisimulation is the classical one, while for simulations we use that proposed by Hughes and Jacobs. As for properties, we start by using a generalization of linear temporal logic to arbitrary coalgebras suggested by Jacobs, and then an extension by Kurtz which includes atomic propositions too.


Item Type:Book Section
Subjects:Sciences > Computer science
ID Code:20745
Deposited On:10 Apr 2013 10:43
Last Modified:10 Aug 2018 08:34

Origin of downloads

Repository Staff Only: item control page