Reflection and Preservation of Properties in Coalgebraic (bi)Simulations
From MaRDI portal
Publication:3525087
DOI10.1007/978-3-540-75292-9_16zbMath1147.68571OpenAlexW1564215428MaRDI QIDQ3525087
I. Fábregas, David de Frutos-Escrig, Miguel Palomino
Publication date: 17 September 2008
Published in: Theoretical Aspects of Computing – ICTAC 2007 (Search for Journal in Brave)
Full work available at URL: https://eprints.ucm.es/20745/1/Frutos23springer.pdf
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44)
Related Items (1)
Logical characterisations, rule formats and compositionality for input-output conformance simulation
This page was built for publication: Reflection and Preservation of Properties in Coalgebraic (bi)Simulations
