Pages that link to "Item:Q2453533"
From MaRDI portal
The following pages link to Axiomatizing weak simulation semantics over BCCSP (Q2453533):
Displaying 4 items.
- Nested semantics over finite trees are equationally hard (Q598202) (← links)
- Axiomatizing Lüttgen \& Vogler's ready simulation for finite processes in \(\mathrm{CLL}_{R}\) (Q893593) (← links)
- The equational theory of prebisimilarity over basic CCS with divergence (Q975471) (← links)
- An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation (Q1785863) (← links)