142
Voted
ICTAC
2009
Springer
16 years 11 days ago
2009
Springer
Abstract. In higher-order process calculi the values exchanged in communications may contain processes. There are only two capabilities for received processes: execution and forwar...