The following pages link to HOPLA (Q14870):
Displaying 13 items.
- Semantic domains of timed event structures (Q840017) (← links)
- Prime algebraicity (Q843107) (← links)
- Domain theory for concurrency (Q1434357) (← links)
- Elements of a theory of algebraic theories (Q2253182) (← links)
- Exploratory Functions on Nondeterministic Strategies, up to Lower Bisimilarity (Q2805166) (← links)
- Event Structures with Symmetry (Q2864165) (← links)
- Event Structure Spans for Nondeterministic Dataflow (Q2866348) (← links)
- Real-Time Stable Event Structures and Marked Scott Domains: An Adjunction (Q3401967) (← links)
- Nominal Domain Theory for Concurrency (Q3644772) (← links)
- (Q4673430) (← links)
- Computer Science Logic (Q5311259) (← links)
- (Q5423981) (← links)
- CONCUR 2003 - Concurrency Theory (Q5900578) (← links)
