2009
DOI: 10.1007/978-3-642-03741-2_16
|View full text |Cite
|
Sign up to set email alerts
|

Non-strongly Stable Orders Also Define Interesting Simulation Relations

Abstract: Abstract. We present a study of the notion of coalgebraic simulation introduced by Hughes and Jacobs. Although in their original paper they allow any functorial order in their definition of coalgebraic simulation, for the simulation relations to have good properties they focus their attention on functors with orders which are strongly stable. This guarantees a so-called "composition-preserving" property from which all the desired good properties follow. We have noticed that the notion of strong stability not o… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
1
1

Citation Types

0
30
0

Year Published

2010
2010
2017
2017

Publication Types

Select...
4
1

Relationship

2
3

Authors

Journals

citations
Cited by 14 publications
(30 citation statements)
references
References 12 publications
0
30
0
Order By: Relevance
“…For MTS and refinement we refer the reader to, e.g., [7,17,18] for motivation and examples, whereas [9,10] can be consulted for more information regarding covariant-contravariant simulations.…”
Section: Preliminariesmentioning
confidence: 99%
“…For MTS and refinement we refer the reader to, e.g., [7,17,18] for motivation and examples, whereas [9,10] can be consulted for more information regarding covariant-contravariant simulations.…”
Section: Preliminariesmentioning
confidence: 99%
“…More recently [2,4,7,11,12,19] there have been several coalgebraic studies of simulation, in which the final F -coalgebra carries a preorder. This is valuable for someone who wants to study bisimilarity and similarity together: equality represents bisimilarity, and the preorder represents similarity.…”
Section: Introductionmentioning
confidence: 99%
“…This leads to two new notions of simulation: covariant-contravariant simulation and conformance simulation, that we roughly sketched in [6] and presented in detail in [7], where we proved that they can be obtained as particular instances of the general notion of categorical simulation developed by Hughes and Jacobs [9].…”
Section: Introduction and Some Related Workmentioning
confidence: 79%
“…We say that the LTS is finitary when for each p ∈ P and a ∈ A we have |{p | p a −→ p }| < ∞. We refer to [7] for a more extensive motivation of covariant-contravariant simulations; here we only comment on the case of input/output automata. To define an adequate simulation notion for them we observe that the classic approach to simulations is based on the definition of semantics for reactive systems, where all the actions of the processes correspond to input actions that the user must trigger.…”
Section: Recalling Contravariant Simulationsmentioning
confidence: 99%
See 1 more Smart Citation