The following pages link to (Q2763547):
Displayed 3 items.
- Towards categorical models for fairness: Fully abstract presheaf semantics of SCCS with finite delay (Q1398465) (← links)
- A stable non-interleaving early operational semantics for the pi-calculus (Q2423752) (← links)
- A Stable Non-interleaving Early Operational Semantics for the Pi-Calculus (Q5738986) (← links)