Pages that link to "Item:Q2117014"
From MaRDI portal
The following pages link to Branching place bisimilarity: a decidable behavioral equivalence for finite Petri nets with silent moves (Q2117014):
Displaying 1 item.
The following pages link to Branching place bisimilarity: a decidable behavioral equivalence for finite Petri nets with silent moves (Q2117014):
Displaying 1 item.