Analysis of meeting protocols by formalisation, simulation, and verification

DOI10.1007/S10588-006-9001-8MaRDI QIDQ2463822zbMATH OpenOpenAlexFDO

Authors Martijn C. Schut, Pınar Yolum, Catholijn M. Jonker, Jan Treur

Publication date 6 December 2007

Published in Computational \& Mathematical Organization Theory (Search for Journal in Brave)

Full work available at URL https://research.vu.nl/en/publications/c6e60374-4acf-4f34-b22f-28412c6bec89

zbMATH Keywords

dynamic propertiesmeeting protocolsorganisation modelingsimulationtemporal logical formalisationverification

Mathematics Subject Classification ID

Natural language processing (68T50)

Recommendations

• Logic Programming
• Formal modeling and analysis of a narrow bandwidth protocol for establishing and terminating connections
• scientific article; zbMATH DE number 1424027
• scientific article; zbMATH DE number 2090904
• Formal methods: Importance, experience, and comparative analysis

Cites work

• scientific article; zbMATH DE number 1701362 (Why is no real title available?)
• scientific article; zbMATH DE number 1536572 (Why is no real title available?)
• scientific article; zbMATH DE number 1820675 (Why is no real title available?)
• scientific article; zbMATH DE number 2090875 (Why is no real title available?)
• scientific article; zbMATH DE number 868107 (Why is no real title available?)
• Nonstandard analysis in ACL2
• Symbolic model checking for real-time systems

Cited in

(1)

• Quantitative measurements of the influence of participant roles during peer review meetings

Describes a project that uses

Uses Software

• METATEM
• ACL2

This page was built for publication: Analysis of meeting protocols by formalisation, simulation, and verification

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