The following pages link to A Logical Process Calculus (Q2842601):
Displaying 4 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)
- A semantic framework for open processes (Q2463561) (← links)
- On recursive operations over logic LTS (Q5740660) (← links)
