Pages that link to "Item:Q975471"
From MaRDI portal
The following pages link to The equational theory of prebisimilarity over basic CCS with divergence (Q975471):
Displaying 6 items.
- Bisimulation and divergence (Q750163) (← links)
- Lifting non-finite axiomatizability results to extensions of process algebras (Q969643) (← links)
- Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet (Q1944909) (← links)
- Axiomatizing weak simulation semantics over BCCSP (Q2453533) (← links)
- Divergence and unique solution of equations (Q5228882) (← links)
- Complete Axiomatization for Divergent-Sensitive Bisimulations in Basic Process Algebra with Prefix Iteration (Q5415608) (← links)