Logic Programming

DOI10.1007/11562931MaRDI QIDQ5475809zbMATH OpenOpenAlexFDO

Authors Federico Chesani

Publication date 27 June 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11562931

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Network protocols (68M12)

Recommendations

• Formal description and verification of MAS interaction protocols
• scientific article; zbMATH DE number 1790380
• Interaction protocols
• Verification of Protocol Conformance and Agent Interoperability
• scientific article; zbMATH DE number 2090904

Cited in

(14)

• scientific article; zbMATH DE number 2090904 (Why is no real title available?)
• scientific article; zbMATH DE number 1790380 (Why is no real title available?)
• An approach to formal verification of human-computer interaction
• Analysis of meeting protocols by formalisation, simulation, and verification
• scientific article; zbMATH DE number 2090902 (Why is no real title available?)
• Verification of Protocol Conformance and Agent Interoperability
• Formal verification of activity-based specification of protocols
• When human intuition fails: using formal methods to find an error in the ``proof of a multi-agent protocol
• Formal description and verification of MAS interaction protocols
• The formalization and analysis of a communications protocol
• scientific article; zbMATH DE number 2090884 (Why is no real title available?)
• scientific article; zbMATH DE number 2087361 (Why is no real title available?)
• Interaction protocols
• Interaction protocols adaptation for negotiation in opened multi-agent systems

This page was built for publication: Logic Programming

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