Ludics nets, a game model of concurrent interaction | IEEE Conference Publication | IEEE Xplore