The following pages link to Decoding choice encodings (Q6104373):
Displayed 6 items.
- Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous (Q516036) (← links)
- Theory of interaction (Q896903) (← links)
- On the expressiveness of interaction (Q960859) (← links)
- On the expressiveness of internal mobility in name-passing calculi (Q1276243) (← links)
- Asynchronous process calculi: The first- and higher-order paradigms (Q1589656) (← links)
- Minimality and separation results on asynchronous mobile processes -- representability theorems by concurrent combinators (Q5958469) (← links)