Pages that link to "Item:Q3003316"

The following pages link to Relating coalgebraic notions of bisimulation (Q3003316):

Displaying 24 items.

• Coinductive predicates and final sequences in a fibration (Q265811) (← links)
• Relation lifting, a survey (Q299182) (← links)
• Structural operational semantics for non-deterministic processes with quantitative aspects (Q507377) (← links)
• A general account of coinduction up-to (Q523132) (← links)
• Behavioural equivalences for coalgebras with unobservable moves (Q890618) (← links)
• A coalgebraic semantics for causality in Petri nets (Q890619) (← links)
• Extensional quotient coalgebras (Q1750071) (← links)
• A network-conscious \(\pi\)-calculus and its coalgebraic semantics (Q2253186) (← links)
• Revisiting causality, coalgebraically (Q2257982) (← links)
• Isomorphism theorems for coalgebras (Q2272535) (← links)
• Bisimulation and coinduction enhancements: a historical perspective (Q2280213) (← links)
• Structural operational semantics for continuous state stochastic transition systems (Q2341700) (← links)
• Relational presheaves, change of base and weak simulation (Q2341703) (← links)
• (Q3121518) (← links)
• The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics (Q3130301) (← links)
• Universal Constructions for (Co)Relations: categories, monoidal categories, and props (Q4585067) (← links)
• Coinductive predicates and final sequences in a fibration (Q4606703) (← links)
• (Q5094151) (← links)
• (Q5111636) (← links)
• (Q5155671) (← links)
• (Q5155674) (← links)
• Enhanced coalgebraic bisimulation (Q5361143) (← links)
• Transitivity and Difunctionality of Bisimulations (Q5739448) (← links)
• Proving behavioural apartness (Q6666778) (← links)