Pages that link to "Item:Q5738963"
From MaRDI portal
The following pages link to Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement (Q5738963):
Displayed 4 items.
The following pages link to Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement (Q5738963):
Displayed 4 items.