The following pages link to (Q4268454):
Displaying 7 items.
- Process calculus based upon evaluation to committed form (Q1276241) (← links)
- Equational rules for rewriting logic (Q1608925) (← links)
- An elliptic Virasoro symmetry in 6d (Q1683781) (← links)
- Assigning types to processes (Q1854525) (← links)
- (Q5015358) (← links)
- Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness (Q5262979) (← links)
- Minimality and separation results on asynchronous mobile processes -- representability theorems by concurrent combinators (Q5958469) (← links)
