Concurrent stochastic lossy channel games

Abstract

Authors

Daniel Stan, Muhammad Najib, Anthony Widjaja Lin, Parosh Aziz Abdulla

Where

Proceedings of the 32nd EACSL annual conference on computer science logic (CSL’24), february 19-23, 2024, naples, italy

Place

Paper

stan.24.csl.pdf

Date

2024-01-01