Pages that link to "Item:Q988555"
From MaRDI portal
The following pages link to Ready simulation for concurrency: it's logical! (Q988555):
Displaying 10 items.
- An algebraic theory of interface automata (Q402131) (← links)
- Safe reasoning with logic LTS (Q549200) (← links)
- Concurrent weighted logic (Q890620) (← links)
- Axiomatizing Lüttgen \& Vogler's ready simulation for finite processes in \(\mathrm{CLL}_{R}\) (Q893593) (← links)
- An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation (Q1785863) (← links)
- Encoding safety in \(\mathrm{CLL}_R\) (Q2055960) (← links)
- On the greatest solution of equations in \(\mathrm{CLL}_R\) (Q2353634) (← links)
- Axiomatizing weak simulation semantics over BCCSP (Q2453533) (← links)
- Axiomatizing Weak Ready Simulation Semantics over BCCSP (Q3105742) (← links)
- On recursive operations over logic LTS (Q5740660) (← links)
