scientific article; zbMATH DE number 7559460

DOI10.4230/LIPIcs.CONCUR.2020.4MaRDI QIDQ5089267

Catuscia Palamidessi, Marco Romanelli

Publication date: 18 July 2022

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

game theorysecurityprivacymachine learning

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• A game semantics for linear logic
• On full abstraction for PCF: I, II and III
• Full abstraction for PCF
• Non-cooperative games
• Bisimulation, modal logic and model checking games
• Tools and Algorithms for the Construction and Analysis of Systems

This page was built for publication: