{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T21:52:56Z","timestamp":1649195576382},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2006,9,30]],"date-time":"2006-09-30T00:00:00Z","timestamp":1159574400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Comput Math Organiz Theor"],"published-print":{"date-parts":[[2007,7,12]]},"DOI":"10.1007\/s10588-006-9001-8","type":"journal-article","created":{"date-parts":[[2006,9,29]],"date-time":"2006-09-29T20:13:07Z","timestamp":1159560787000},"page":"283-314","source":"Crossref","is-referenced-by-count":1,"title":["Analysis of meeting protocols by formalisation, simulation, and verification"],"prefix":"10.1007","volume":"13","author":[{"given":"Catholijn M.","family":"Jonker","sequence":"first","affiliation":[]},{"given":"Martijn C.","family":"Schut","sequence":"additional","affiliation":[]},{"given":"Jan","family":"Treur","sequence":"additional","affiliation":[]},{"given":"P\u0131nar","family":"Yolum","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,9,30]]},"reference":[{"key":"9001_CR1","unstructured":"Barringer H, Fisher M, Gabbay D, Owens R, Reynolds M (1996) The Imperative Future: principles of Executable Temporal Logic. Research Studies Press Ltd John Wiley & Sons"},{"key":"9001_CR2","unstructured":"Bosse T, Jonker CM, van der Mey L, Treur J (2005) LEADSTO: a Language and Environment for Analysis of Dynamics by SimulaTiOn. In: Eymann T et al (eds) Proc. of the Third German Conference on Multi-Agent System Technologies, MATES'05 vol 3550. Lecture Notes in Artificial Intelligence, Springer Verlag, pp 165\u2013178"},{"key":"9001_CR3","unstructured":"Carley KM, Gasser L (1999) Computational Organization Theory in Multiagent Systems: a Modern Approach to Distributed Artificial Intelligence. Chapter 7. Gerhard Weiss (ed). MIT Press"},{"key":"9001_CR4","unstructured":"Clarke EM, Grumberg O, Peled DA (2000) Model Checking. MIT Press"},{"key":"9001_CR5","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/s10115-002-0083-4","volume":"5","author":"F Cornelissen","year":"2003","unstructured":"Cornelissen F, Jonker CM, Treur J (2003) Compositional Verification of Knowledge-Based Task Models and Problem Solving Methods. Knowl Inf Syst J 5:337\u2013367","journal-title":"Knowl Inf Syst J"},{"key":"9001_CR6","unstructured":"Creighton JL, Using Group Process Techniques to Improve Meeting Effectiveness. URL: http:\/\/www. effectivemeetings.com\/teams\/teamwork\/creighton.asp"},{"issue":"1","key":"9001_CR7","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1057\/jors.1966.6","volume":"17","author":"JD Croston","year":"1966","unstructured":"Croston JD, Goulding HB (1966) The Effectiveness of Communication at Meetings: a Case Study. Oper Res Quarterly 17(1):47\u201357","journal-title":"Oper Res Quarterly"},{"key":"9001_CR8","doi-asserted-by":"crossref","first-page":"462","DOI":"10.1109\/69.929903","volume":"13","author":"PAT Eck van","year":"2001","unstructured":"van Eck PAT, Engelfriet J, Fensel D, van Harmelen F, Venema Y, Willems M (2001) A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective. IEEE Trans Knowl Data Eng 13:462\u2013496","journal-title":"IEEE Trans Knowl Data Eng"},{"key":"9001_CR9","unstructured":"Fasli M (2003) Formal Systems and Agent-Based Social Simulation Equals Null? J Artif Society Simul 7(4). Available at: < http:\/\/jasss.soc.surrey.ac.uk\/7\/4\/7.html >"},{"key":"9001_CR10","doi-asserted-by":"crossref","unstructured":"Fisher M (1994) A survey of Concurrent MetateM\u2014the language and its applications. In: Gabbay DM, Ohlbach HJ (eds) Temporal logic\u2014Proceedings of the First International Conference, Lecture Notes in AI, vol 827, pp 480\u2013505","DOI":"10.1007\/BFb0014005"},{"issue":"1\u20133","key":"9001_CR11","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0004-3702(84)90038-9","volume":"24","author":"KD Forbus","year":"1984","unstructured":"Forbus KD (1984) Qualitative process theory. Artif Intell 24(1\u20133):85\u2013168","journal-title":"Artif Intell"},{"key":"9001_CR12","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1023\/A:1011908113514","volume":"27","author":"R Gamboa","year":"2001","unstructured":"Gamboa R, Kaufmann M (2001) Nonstandard Analysis in ACL2. J Autom Reason 27:323\u2013351","journal-title":"J Autom Reason"},{"key":"9001_CR13","volume-title":"Studies in Ethnomethodology","author":"H Garfinkel","year":"1967","unstructured":"Garfinkel H (1967) Studies in Ethnomethodology. Englewood Cliffs, NJ, Prentice-Hall"},{"key":"9001_CR14","unstructured":"Goffman E (1961) Encounters. The Bobs-Merrill Company"},{"key":"9001_CR15","volume-title":"Behaviour in Public Places","author":"E Goffman","year":"1963","unstructured":"Goffman E (1963) Behaviour in Public Places. Collier-MacMillan, London"},{"issue":"2","key":"9001_CR16","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1006\/inco.1994.1045","volume":"111","author":"T Henzinger","year":"1994","unstructured":"Henzinger T, Nicollin X, Sifakis J, Yovine S (1994) Symbolic model checking for real-time systems. Inform Comput 111(2):193\u2013244. Academic Press.","journal-title":"Inform Comput"},{"key":"9001_CR17","doi-asserted-by":"crossref","unstructured":"Jonker CM, Treur J (2002) Compositional Verification of Multi-Agent Systems: A Formal Analysis of Pro-activeness and Reactiveness. In: de Roever WP, Langmaack H, Pnueli A (eds) Proceedings of the International Workshop on Compositionality, COMPOS'97. Lecture Notes in Computer Science, vol. 1536, Springer Verlag, 1998, pp. 350\u2013380. Extended version in: International J Coop Infor Syst 11:51\u201392","DOI":"10.1142\/S0218843002000480"},{"key":"9001_CR18","volume-title":"Dynamic Patterns: the Self-Organisation of Brain and Behaviour","author":"JAS Kelso","year":"1995","unstructured":"Kelso JAS (1995) Dynamic Patterns: the Self-Organisation of Brain and Behaviour. MIT Press, Cambridge, Mass."},{"key":"9001_CR19","unstructured":"Law AD, Kelton WD (2000) Simulation Modeling and Analysis. McGraw Hill"},{"key":"9001_CR20","doi-asserted-by":"crossref","unstructured":"Manna Z, Pnueli A (1995) Temporal Verification of Reactive Systems: Safety. Springer Verlag","DOI":"10.1007\/978-1-4612-4222-2"},{"issue":"1","key":"9001_CR21","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1023\/A:1009600530279","volume":"4","author":"S Moss","year":"1998","unstructured":"Moss S, Gaylard H, Wallis S, Edmonds B (1998) SDML: a Multi-Agent Language for Organizational Modelling. Comput Math Organ Theory 4(1):43\u201370","journal-title":"Comput Math Organ Theory"},{"issue":"1","key":"9001_CR22","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/249540","volume":"20","author":"F Niederman","year":"1996","unstructured":"Niederman F, Beise CM, Beranek PM (1996) Issues and Concerns about Computer-Supported Meetings: The Facilitator's Perspective. MIS Quarterly 20(1):1\u201322","journal-title":"MIS Quarterly"},{"key":"9001_CR23","volume-title":"Mind as Motion: Explorations in the Dynamics of Cognition","year":"1995","unstructured":"Port RF, van Gelder T (eds) (1995) Mind as Motion: Explorations in the Dynamics of Cognition. MIT Press, Cambridge, Mass."},{"key":"9001_CR24","doi-asserted-by":"crossref","unstructured":"Reiter, R (2001) Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, 2001","DOI":"10.7551\/mitpress\/4074.001.0001"},{"key":"9001_CR25","unstructured":"Robert HM (2000) Robert's Rules of Order (Newly Revised), 10th edn, HarperCollins Publishers"},{"key":"9001_CR26","unstructured":"de Roever WP, Langmaack H, Pnueli A (eds) (1998) Proceedings of the International Workshop on Compositionality, COMPOS'97. Lecture Notes in Computer Science, vol. 1536, Springer Verlag"},{"issue":"6","key":"9001_CR27","first-page":"559","volume":"24","author":"CB Serman","year":"1998","unstructured":"Serman CB, Basili VR (1998) Communication and Organization: An Empirical Study of Discussion in Inspection Meetings. IEEE Trans Soft Eng 24(6):559\u2013572","journal-title":"IEEE Trans Soft Eng"},{"key":"9001_CR28","doi-asserted-by":"crossref","unstructured":"Stirling C (2001) Modal and Temporal Properties of Processes. Springer Verlag","DOI":"10.1007\/978-1-4757-3550-5"},{"key":"9001_CR29","unstructured":"Wolf K (2002) The Makings of a Good Meeting. Available at: http:\/\/members.dcn.org\/kjwolf"}],"container-title":["Computational and Mathematical Organization Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10588-006-9001-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10588-006-9001-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10588-006-9001-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T11:36:20Z","timestamp":1559302580000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10588-006-9001-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,9,30]]},"references-count":29,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2007,7,12]]}},"alternative-id":["9001"],"URL":"https:\/\/doi.org\/10.1007\/s10588-006-9001-8","relation":{},"ISSN":["1381-298X","1572-9346"],"issn-type":[{"value":"1381-298X","type":"print"},{"value":"1572-9346","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,9,30]]}}}