{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T06:12:21Z","timestamp":1747807941724,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642238505"},{"type":"electronic","value":"9783642238512"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-23851-2_26","type":"book-chapter","created":{"date-parts":[[2011,9,10]],"date-time":"2011-09-10T12:47:12Z","timestamp":1315658832000},"page":"249-259","source":"Crossref","is-referenced-by-count":1,"title":["Modelling Multimodal 3D Virtual Environments with Asynchronous Multi-Agent Abstract State Machine"],"prefix":"10.1007","author":[{"given":"Fabio","family":"De Felice","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Bianchi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabio","family":"Abbattista","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"26_CR1","first-page":"9","volume-title":"Specification and Validation Methods","author":"Y. Gurevich","year":"1994","unstructured":"Gurevich, Y.: Evolving Algebras 1993: Lipari guide. In: B\u00f6rger, E. (ed.) Specification and Validation Methods, pp. 9\u201336. Oxford University Press, Oxford (1994)"},{"key":"26_CR2","unstructured":"Bonabeau, E.: Agent-based modeling: methods and techniques for simulating human systems. National Academy of Sciences (1999)"},{"key":"26_CR3","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1109\/MCG.2004.1274058","volume":"2","author":"K. Salisbury","year":"2004","unstructured":"Salisbury, K., Conti, F., Barbagli, F.: Haptic rendering: introductory concepts. IEEE Computer Graphics and Applications\u00a02, 24\u201332 (2004)","journal-title":"IEEE Computer Graphics and Applications"},{"key":"26_CR4","unstructured":"Pellens, B.: A Conceptual Modelling Approach for Behaviour in Virtual Environments using a Graphical Notation and Generative Ddesign Patterns (unpublished)"},{"key":"26_CR5","doi-asserted-by":"crossref","unstructured":"Blackwell, L., von Konsky, B., Robey, M.: Petri net script: a visual language for describing action, behavior and plot. In: 24th Australasian Computer Science Conf (ACSC 2001), vol.\u00a011, pp. 29\u201337 (2001)","DOI":"10.1109\/ACSC.2001.906620"},{"key":"26_CR6","volume-title":"Integrating behavioural design into the virtual environment development process","author":"J. Willans","year":"2001","unstructured":"Willans, J.: Integrating behavioural design into the virtual environment development process. York University, York (2001)"},{"key":"26_CR7","unstructured":"Fu, D., Houlette, R., Jensen, R.: A visual environment for rapid behavior definition. In: Conference on Behavior Representation in Modeling and Simulation (2003)"},{"key":"26_CR8","unstructured":"Storrle, H., Hausmann, J.: Towards a formal semantics of UML 2.0 activities. In: Liggesmeyer, P., Pohl, K., Goedicke, M. (eds.) Software Engineering. Lecture Notes in Informatics, vol.\u00a0P-64, pp. 117\u2013128 (2005)"},{"key":"26_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/978-3-540-70881-0_30","volume-title":"Perspectives of Systems Informatics","author":"S. Sarstedt","year":"2007","unstructured":"Sarstedt, S., Guttmann, W.: An ASM Semantics of Token Flow in UML 2 Activity Diagrams. In: Virbitskaite, I., Voronkov, A. (eds.) PSI 2006. LNCS, vol.\u00a04378, pp. 349\u2013362. Springer, Heidelberg (2007)"},{"key":"26_CR10","unstructured":"De Boeck, J., Vanacken, D., Raymaekers, C., Coninx, K.: High level Modeling of Multimodal Interaction using NiMMiT. Journal of Virtual Reality and Broadcasting\u00a04(2) (2007)"},{"key":"26_CR11","doi-asserted-by":"crossref","unstructured":"Figueroa, P., Green, M., Hoover, H.J.: InTml: A Description Language for VR Applications. In: Seventh International Conference on 3D Web Technology, Tempe, USA, pp. 15\u201320 (2002)","DOI":"10.1145\/504502.504511"},{"key":"26_CR12","doi-asserted-by":"crossref","unstructured":"Maher, M., Merrick, K.: Agent Models for Dynamic 3D Virtual Worlds. In: International Conference on Cyberwrolds, pp. 27\u201334 (2005)","DOI":"10.1109\/CW.2005.13"},{"key":"26_CR13","doi-asserted-by":"crossref","unstructured":"Kallmann, M., Thalmann, D.: Direct 3D Interaction with Smart Objects. In: ACM Symposium on Virtual Realitry and Technology, pp. 124\u2013130 (1999)","DOI":"10.1145\/323663.323683"},{"key":"26_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/11559221_18","volume-title":"Multi-Agent Systems and Applications IV","author":"G. Dobrowolski","year":"2005","unstructured":"Dobrowolski, G.: Programming an Agent as Abstract State Machine. In: Pechoucek, M., Petta, P., Zsolt, L. (eds.) CEEMAS 2005. LNCS (LNAI), vol.\u00a03690, pp. 173\u2013182. Springer, Heidelberg (2005)"},{"key":"26_CR15","doi-asserted-by":"crossref","unstructured":"Mi, X., Chen, J.: Agent-based Interaction Model for Collaborative Virtual Environments. In: 9th International Conference on Computer Supported Cooperative Work in Design, pp. 401\u2013404 (2005)","DOI":"10.1109\/CSCWD.2005.194205"},{"key":"26_CR16","unstructured":"Mueller, W., Paelke, V.: A Formal Model of a Framework for Simulation Based Animation (unpublished)"},{"key":"26_CR17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract State Machines: A Method for High-Level System Design and Analysis","author":"E. B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E., St\u00e4rk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Heidelberg (March 2003)"},{"key":"26_CR18","first-page":"1","volume":"20","author":"W. Reisig","year":"2003","unstructured":"Reisig, W.: The Expressive Power of Abstract State Machines. Computing and Informatics\u00a020, 1\u201310 (2003)","journal-title":"Computing and Informatics"},{"key":"26_CR19","unstructured":"Microsoft FSE Group. The Abstract State Machine Language, http:\/\/research.microsoft.com\/fse\/asml\/ (last visited March 2006)"},{"key":"26_CR20","first-page":"71","volume":"77","author":"R. Farahbod","year":"2007","unstructured":"Farahbod, R., Gervasi, V., Glaesser, U.: CoreASM: An extensible ASM execution engine. Fundamenta Informaticae\u00a077, 71\u2013103 (2007)","journal-title":"Fundamenta Informaticae"},{"key":"26_CR21","unstructured":"http:\/\/oss.sgi.com\/projects\/inventor\/"}],"container-title":["Lecture Notes in Computer Science","Knowledge-Based and Intelligent Information and Engineering Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23851-2_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,10]],"date-time":"2025-03-10T12:07:58Z","timestamp":1741608478000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23851-2_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642238505","9783642238512"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23851-2_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}