The following pages link to Bisimulations on Data Graphs (Q4605201):
Displaying 7 items.
- Bisimilarity in term graph rewriting. (Q1854321) (← links)
- Compositional equivalences based on open pNets (Q2683032) (← links)
- Model Theory of XPath on Data Trees. Part I: Bisimulation and Characterization (Q2941736) (← links)
- Process Bisimulation Via a Graphical Encoding (Q3541958) (← links)
- (Q5155666) (← links)
- Similarity and bisimilarity notions appropriate for characterizing indistinguishability in fragments of the calculus of relations (Q5262475) (← links)
- Data graphs with incomplete information (and a way to complete them) (Q6545578) (← links)