Pages that link to "Item:Q287256"

The following pages link to A characterization of finitary bisimulation (Q287256):

Displaying 3 items.

• The equational theory of prebisimilarity over basic CCS with divergence (Q975471) (← links)
• Corrigendum: ``A domain equation for bisimulation'' by S. Abramsky (Q1854414) (← links)
• A unified rule format for bounded nondeterminism in SOS with terms as labels (Q2403821) (← links)