Analysis of meeting protocols by formalisation, simulation, and verification

DOI10.1007/s10588-006-9001-8zbMath1132.68783OpenAlexW2170169439MaRDI QIDQ2463822

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

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

verificationsimulationdynamic propertiesmeeting protocolsorganisation modelingtemporal logical formalisation

Mathematics Subject Classification ID

Natural language processing (68T50)

Uses Software

• ACL2
• METATEM

Cites Work

• Symbolic model checking for real-time systems
• Nonstandard analysis in ACL2
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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