scientific article; zbMATH DE number 4085005

MaRDI QIDQ3814797zbMATH OpenFDO

Authors Joseph Y. Halpern, Ronald Fagin

Publication date 1988

zbMATH Keywords

distributed systemglobal statesknowledge-based protocolsprocess' actions

Mathematics Subject Classification ID

Theory of operating systems (68N25) Abstract data types; algebraic specification (68Q65) Artificial intelligence (68T99)

Recommendations

• Modelling knowledge and action in distributed systems
• Knowledge and common knowledge in a distributed environment
• What can machines know?
• Programming simultaneous actions using common knowledge
• Common knowledge and update in finite environments

Cited in

(10)

• Distributed skill functions and the meshing of knowledge structures
• Modelling knowledge and action in distributed systems
• Using knowledge to optimally achieve coordination in distributed systems
• Recording and analysing knowledge-based distributed deduction processes
• Knowledge and common knowledge in a distributed environment
• What can machines know?
• scientific article; zbMATH DE number 2080045 (Why is no real title available?)
• scientific article; zbMATH DE number 1839440 (Why is no real title available?)
• scientific article; zbMATH DE number 972595 (Why is no real title available?)
• Communication pattern models: an extension of action models for dynamic-network distributed systems

This page was built for publication:

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