Vi utvecklar ett spel semantik för process algebra med två interagerande medel. Syftet med våra semantik är att synliggöra kunskapens och informationsflödets roll i interaktionen mellan medel och att kontrollera den information som finns tillgänglig för samverkande medel. Vi definierar spel och strategier för processalgebras, så att två agenter interagerar enligt sina strategier bestämma genomförandet av processen, ersätta den traditionella schemaläggaren. Vi visar att olika restriktioner för strategier representerar olika mängder information som finns tillgänglig för en schemaläggare. Vi visar också att en viss klass av strategier motsvarar de syntaktiska schemaläggare av Chatzikolakis och Palamidessi, som utvecklades för att övervinna problem med traditionella schemaläggare modellering interaktion. Begränsningarna av dessa strategier har en explicit epistemisk smak.
Chatzikolakis et al REF utvecklar en spelsemantik för en viss typ av processkalkyl med två samverkande medel.
Epistemic Strategies and Games on Concurrent Processes
{'venue': 'TOCL', 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}