The following pages link to (Q4472454):
Displaying 5 items.
- Conjunction on processes: Full abstraction via ready-tree semantics (Q875513) (← links)
- Axiomatizing Lüttgen \& Vogler's ready simulation for finite processes in \(\mathrm{CLL}_{R}\) (Q893593) (← links)
- Semantic integration of heterogeneous software specifications. (Q1428350) (← links)
- A logical process calculus (Q2842601) (← links)
- Emergent Semantics (Q3515144) (← links)