The following pages link to New Computational Paradigms (Q5717067):
Displaying 10 items.
- Thread algebra for poly-threading (Q640299) (← links)
- A generalization of ACP using Belnap's logic (Q864509) (← links)
- Execution architectures for program algebra (Q881834) (← links)
- Decision problems for pushdown threads (Q884992) (← links)
- A thread calculus with molecular dynamics (Q988554) (← links)
- Process algebra with strategic interleaving (Q2000000) (← links)
- Thread algebra for strategic interleaving (Q2461536) (← links)
- Denotational semantics for thread algebra (Q2469153) (← links)
- A thread algebra with multi-level strategic interleaving (Q2642901) (← links)
- Thread algebra for noninterference (Q3625692) (← links)