Finite state implementations of knowledge-based programs (extended abstract)

DOI10.1007/3-540-62034-6_55zbMATH Open1541.6804MaRDI QIDQ6567777

R. van der Meyden

Publication date: 5 July 2024

Mathematics Subject Classification ID

Knowledge representation (68T30) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14)

Cites Work

• Title not available (Why is that?)
• Knowledge and common knowledge in a Byzantine environment: Crash failures
• Knowledge and common knowledge in a distributed environment
• A little knowledge goes a long way

This page was built for publication: Finite state implementations of knowledge-based programs (extended abstract)

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