History-determinism vs fair simulation

DOI10.4230/LIPICS.CONCUR.2024.12MaRDI QIDQ6859945zbMATH OpenFDO

Authors Udi Boker, Thomas A. Henzinger, Karoliina Lehtinen, Aditya Prakash

Publication date 10 February 2026

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

history-determinism

Mathematics Subject Classification ID

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

This page was built for publication: History-determinism vs fair simulation

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