I spel semantik, den högre ordningen värde passerar mekanismer av -kalculus sönderdelas som sekvenser av atomiska åtgärder utbytta av en spelare och dess motståndare. Sett ur denna vinkel, är spel semantik påminner om spår semantik i konvergensteori, där en process identifieras till sekvenser av förfrågningar den genererar under tidens lopp. Asynkron spel semantik är ett försök att överbrygga klyftan mellan de två ämnena, och att se vanliga spel semantik som en förfinad och interaktiv form av spår semantik. Asynkrona spel är positionerade spel som spelas på Mazurkiewicz spår, som omformulera (och generalisera) den bekanta begreppet arena spel. De sammanflätande semantikerna, som uttrycks som oskyldiga strategier, kan analyseras inom denna ram, i ett perspektiv av sann samstämmighet. Analysen visar att oskyldiga strategier är positionsstrategier som regleras av framtida och bakåt sammanflytande egenskaper. Detta fångar, tror vi, kärnan i oskuld. Vi avslutar artikeln genom att definiera en icke-likformig variant av -kalculus, i vilken spelet semantik av en -term är formulerad direkt som ett spår semantik, utföra syntaktisk utforskning eller tolkning av den -term.
Spel semantik och asynkrona spel som spelas på evenemang strukturer införs i REF.
Asynchronous Games 2 -- The true concurrency of innocence
{'venue': 'CONCUR', 'journal': None, 'mag_field_of_study': ['Computer Science']}