Pages that link to "Item:Q875513"
From MaRDI portal
The following pages link to Conjunction on processes: Full abstraction via ready-tree semantics (Q875513):
Displaying 9 items.
- An algebraic theory of interface automata (Q402131) (← links)
- Safe reasoning with logic LTS (Q549200) (← links)
- Axiomatizing Lüttgen \& Vogler's ready simulation for finite processes in \(\mathrm{CLL}_{R}\) (Q893593) (← links)
- Ready simulation for concurrency: it's logical! (Q988555) (← links)
- Encoding safety in \(\mathrm{CLL}_R\) (Q2055960) (← links)
- On the greatest solution of equations in \(\mathrm{CLL}_R\) (Q2353634) (← links)
- ACTL for modal interface automata (Q2404073) (← links)
- Safe Reasoning with Logic LTS (Q3599086) (← links)
- On recursive operations over logic LTS (Q5740660) (← links)
