Propositional statecharts for agent interaction protocols

MaRDI QIDQ2848468zbMATHFDO

Authors H. R. Dunn-Davies, R. J. Cunningham, S. Paurobally

Publication date 26 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105050425

Mathematics Subject Classification ID

Network protocols (68M12)

Recommendations

• Propositional dynamic logic for reasoning about first-class agent interaction protocols
• scientific article; zbMATH DE number 2089503
• A sequent calculus for propositional dynamic logic for agents with interactions
• scientific article; zbMATH DE number 1951093
• Proving properties of states in the situation calculus
• A sequent calculus for propositional dynamic logic for agents
• A formal framework for interactive agents

Cited in

(3)

• Views on behaviour protocols and their semantic foundation
• Automated theorem proving in Euler diagram systems
• Proving properties of states in the situation calculus

This page was built for publication: Propositional statecharts for agent interaction protocols

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