scientific article; zbMATH DE number 7559460

DOI10.4230/LIPICS.CONCUR.2020.4MaRDI QIDQ5089267zbMATH OpenFDO

Authors Catuscia Palamidessi, Marco Romanelli

Publication date 18 July 2022

Full work available at URL https://doi.org/10.4230/LIPICS.CONCUR.2020.4

zbMATH Keywords

game theorymachine learningprivacysecurity

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites work

• A game semantics for linear logic
• Bisimulation, modal logic and model checking games
• Full abstraction for PCF
• scientific article; zbMATH DE number 3677798 (Why is no real title available?)
• scientific article; zbMATH DE number 3106184 (Why is no real title available?)
• Non-cooperative games
• On full abstraction for PCF: I, II and III
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(1)

• The dawn of modern theory of games

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5089267)