HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Dominik Wojtczak

Publications
Decidability of Fair Termination of Gossip Protocols
Krzysztof Apt and Dominik Wojtczak
In:IWIL Workshop and LPAR Short Presentations

Keyphrases

computational complexity of reasoning, epistemic logic, fair termination, gossip protocols, Knowledge-based programs.

Copyright © 2012-2025 easychair.org. All rights reserved.