The following pages link to Linear forwarders (Q2384926):
Displaying 4 items.
- PiDuce- A project for experimenting web services technologies (Q838158) (← links)
- Using bisimulation proof techniques for the analysis of distributed abstract machines (Q935472) (← links)
- Linearity, Control Effects, and Behavioral Types (Q2988641) (← links)
- CONCUR 2003 - Concurrency Theory (Q5900580) (← links)