Merkliste 
 1 Ergebnisse 
 
1

Objects as session-typed processes:

, In: Proceedings of the 5th International Workshop on Programming Based on Actors, Agents, and Decentralized Control,
Balzer, Stephanie ; Pfenning, Frank - p. 13-24 , 2015