{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T23:18:22Z","timestamp":1742944702677,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642019692"},{"type":"electronic","value":"9783642019708"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-01970-8_34","type":"book-chapter","created":{"date-parts":[[2009,5,19]],"date-time":"2009-05-19T18:26:23Z","timestamp":1242757583000},"page":"347-356","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Hierarchical Methodology to Specify and Simulate Complex Computational Systems"],"prefix":"10.1007","author":[{"given":"C\u00e9sar","family":"Andr\u00e9s","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlos","family":"Molinero","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"N\u00fa\u00f1ez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"34_CR1","first-page":"169","volume-title":"4th Int. Conf. on Signal-Image Technology & Internet-based Systems, SITIS 2008","author":"C. Andr\u00e9s","year":"2008","unstructured":"Andr\u00e9s, C., Molinero, C., N\u00fa\u00f1ez, M.: A formal methodology to specify hierarchical agent-based systems. In: 4th Int. Conf. on Signal-Image Technology & Internet-based Systems, SITIS 2008, pp. 169\u2013176. IEEE Computer Society Press, Los Alamitos (2008)"},{"issue":"1-4","key":"34_CR2","first-page":"225","volume":"60","author":"I. Lomazova","year":"2004","unstructured":"Lomazova, I.: Communities of interacting automata for modelling distributed systems with dynamic structure. Fundamenta Informaticae\u00a060(1-4), 225\u2013235 (2004)","journal-title":"Fundamenta Informaticae"},{"key":"34_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"460","DOI":"10.1007\/978-3-540-78127-1_25","volume-title":"Pillars of Computer Science","author":"I.A. Lomazova","year":"2008","unstructured":"Lomazova, I.A.: Nested Petri Nets for Adaptive Process Modeling. In: Avron, A., Dershowitz, N., Rabinovich, A. (eds.) Pillars of Computer Science. LNCS, vol.\u00a04800, pp. 460\u2013474. Springer, Heidelberg (2008)"},{"key":"34_CR4","first-page":"169","volume-title":"21st IFIP WG 6.1 Int. Conf. on Formal Techniques for Networked and Distributed Systems, FORTE 2001","author":"M. N\u00fa\u00f1ez","year":"2001","unstructured":"N\u00fa\u00f1ez, M., Rodr\u00edguez, I.: PAMR: A process algebra for the management of resources in concurrent systems. In: 21st IFIP WG 6.1 Int. Conf. on Formal Techniques for Networked and Distributed Systems, FORTE 2001, pp. 169\u2013185. Kluwer Academic Publishers, Dordrecht (2001)"},{"issue":"2","key":"34_CR5","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/j.scico.2005.01.002","volume":"57","author":"M. N\u00fa\u00f1ez","year":"2005","unstructured":"N\u00fa\u00f1ez, M., Rodr\u00edguez, I., Rubio, F.: Formal specification of multi-agent e-barter systems. Science of Computer Programming\u00a057(2), 187\u2013216 (2005)","journal-title":"Science of Computer Programming"},{"issue":"4","key":"34_CR6","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1002\/stvr.323","volume":"15","author":"M. N\u00fa\u00f1ez","year":"2005","unstructured":"N\u00fa\u00f1ez, M., Rodr\u00edguez, I., Rubio, F.: Specification and testing of autonomous agents in e-commerce systems. Software Testing, Verification and Reliability\u00a015(4), 211\u2013233 (2005)","journal-title":"Software Testing, Verification and Reliability"},{"key":"34_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1007\/978-3-540-75698-9_21","volume-title":"International Symposium on Fundamentals of Software Engineering","author":"M. Merayo","year":"2007","unstructured":"Merayo, M., N\u00fa\u00f1ez, M., Rodr\u00edguez, I.: Formal specification of multi-agent systems by using EUSMs. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol.\u00a04767, pp. 318\u2013333. Springer, Heidelberg (2007)"},{"key":"34_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/3-540-44682-6_10","volume-title":"Agent Mediated Electronic Commerce","author":"M. Dastani","year":"2001","unstructured":"Dastani, M., Jacobs, N., Jonker, C., Treur, J.: Modelling user preferences and mediating agents in electronic commerce. In: Sierra, C., Dignum, F.P.M. (eds.) AgentLink 2000. LNCS, vol.\u00a01991, pp. 163\u2013193. Springer, Heidelberg (2001)"},{"key":"34_CR9","first-page":"87","volume-title":"5th Int. Conf. on Intelligent User Interfaces, IUI 2001","author":"B. Geisler","year":"2001","unstructured":"Geisler, B., Ha, V., Haddawy, P.: Modeling user preferences via theory refinement. In: 5th Int. Conf. on Intelligent User Interfaces, IUI 2001, pp. 87\u201390. ACM Press, New York (2001)"},{"issue":"2","key":"34_CR10","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/S0004-3702(03)00013-4","volume":"146","author":"V. Ha","year":"2003","unstructured":"Ha, V., Haddawy, P.: Similarity of personal preferences: Theoretical foundations and empirical analysis. Artificial Intelligence\u00a0146(2), 149\u2013173 (2003)","journal-title":"Artificial Intelligence"},{"key":"34_CR11","volume-title":"Microeconomic Theory","author":"A. Mas-Colell","year":"1995","unstructured":"Mas-Colell, A., Whinston, M., Green, J.: Microeconomic Theory. Oxford University Press, Oxford (1995)"}],"container-title":["Lecture Notes in Computer Science","Computational Science \u2013 ICCS 2009"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01970-8_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,24]],"date-time":"2021-12-24T09:10:59Z","timestamp":1640337059000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-01970-8_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642019692","9783642019708"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01970-8_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]},"assertion":[{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}