{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:22:56Z","timestamp":1725574976731},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540297383"},{"type":"electronic","value":"9783540321200"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11575801_35","type":"book-chapter","created":{"date-parts":[[2005,10,10]],"date-time":"2005-10-10T13:41:20Z","timestamp":1128951680000},"page":"1500-1516","source":"Crossref","is-referenced-by-count":0,"title":["An Ontology for Mobile Agents in the Context of Formal Verification"],"prefix":"10.1007","author":[{"given":"Paulo Salem","family":"da Silva","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ana Cristina Vieira","family":"de Melo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"35_CR1","series-title":"A Modern Approach","volume-title":"Artificial Intelligence","author":"S. Russel","year":"2003","unstructured":"Russel, S., Norvig, P.: Artificial Intelligence. A Modern Approach. Prentice Hall, Englewood Cliffs (2003)"},{"key":"35_CR2","volume-title":"Communicating and Mobile Systems: The \u03c0-Calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: The \u03c0-Calculus. Cambridge University Press, Cambridge (1999)"},{"key":"35_CR3","first-page":"25","volume-title":"Towards Very Large Knowledge Bases: Knowledge Building and Knowledge Sharing","author":"N. Guarino","year":"1995","unstructured":"Guarino, N., Giaretta, P.: Ontologies and Knowledge Bases: Towards a Terminological Clarification. In: Mars, N. (ed.) Towards Very Large Knowledge Bases: Knowledge Building and Knowledge Sharing, pp. 25\u201332. IOS Press, Amsterdam (1995)"},{"key":"35_CR4","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1006\/knac.1993.1008","volume":"5","author":"T.R. Gruber","year":"1993","unstructured":"Gruber, T.R.: A translation approach to portable ontologies. Knowledge Acquisition\u00a05, 199\u2013220 (1993)","journal-title":"Knowledge Acquisition"},{"key":"35_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-10702-7","volume-title":"Understanding Agent Systems","author":"M. D\u2019Inverno","year":"2004","unstructured":"D\u2019Inverno, M., Luck, M.: Understanding Agent Systems, 2nd edn. Springer, Heidelberg (2004)","edition":"2"},{"key":"35_CR6","unstructured":"The Join-Calculus language. Resources for the Join-calculus (Accessed in May 23, 2005), Available at \n                      \n                        http:\/\/join.inria.fr\/"},{"key":"35_CR7","unstructured":"Cardelli, L.: Mobile Computational Ambients. Introduction and other resources to the Ambient Calculus (Accessed in May 23, 2005), Available at \n                      \n                        http:\/\/www.luca.demon.co.uk\/Ambit\/Ambit.html"},{"key":"35_CR8","unstructured":"Amorim, M.M.: VTUBAINA Tool. A Verification Tool for Up-to Bisimulation and Automata Integration Automatization (Accessed in May, 23, 2005), Available at \n                      \n                        http:\/\/www.lcpd.ime.usp.br\/~mamorim\/vtubaina\/"},{"key":"35_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1007\/BFb0028772","volume-title":"Computer Aided Verification","author":"G. Ferrari","year":"1998","unstructured":"Ferrari, G., Gnesi, S., Montanari, U., Pistore, M., Ristori, G.: Verifying Mobile Processes in the HAL Environment. In: Hu, A.J., Vardi, M.Y. (eds.) CAV 1998. LNCS, vol.\u00a01427, pp. 511\u2013515. Springer, Heidelberg (1998)"},{"key":"35_CR10","doi-asserted-by":"crossref","unstructured":"Montanari, U., Pistore, M.: An Introduction to History Dependent Automata. In: Gordon, A., Pitts, A., Talcott, C. (eds.) Second Workshop on Higher-Order Operational Techniques in Semantics ( HOOTS II). ENTCS, vol.\u00a010 (1998)","DOI":"10.1016\/S1571-0661(05)80696-6"},{"key":"35_CR11","unstructured":"History Dependant Automata Laboratory (HAL) (Accessed in May, 23, 2005) Available at \n                      \n                        http:\/\/rep1.iei.pi.cnr.it\/projects\/JACK\/HAL\/hal.html"},{"key":"35_CR12","unstructured":"Web Ontology Language (OWL). Specifications, articles, tools and other resources for OWL (Accessed in August 19 (2004), Available at \n                      \n                        http:\/\/www.w3.org\/2004\/OWL\/"},{"key":"35_CR13","unstructured":"Description logics. Description logics resources (Accessed in February 21, 2005), Available at \n                      \n                        http:\/\/dl.kr.org\/"},{"key":"35_CR14","unstructured":"The Prot\u00e9g\u00e9 Ontology Editor and Knowledge Acquisition System (Accessed in August 19, 2004), Available at \n                      \n                        http:\/\/protege.stanford.edu\/"},{"key":"35_CR15","unstructured":"OntoViz. Information and downloads regarding the OntoViz Prot\u00e9g\u00e9 plugin (Accessed in February 21, 2005), Available at \n                      \n                        http:\/\/protege.stanford.edu\/plugins\/ontoviz\/ontoviz.html"},{"key":"35_CR16","unstructured":"Aglets. Information and downloads regarding the Aglets framework, a system for mobile software agents (Accessed in August 15, 2005), Available at \n                      \n                        http:\/\/aglets.sourceforge.net"},{"key":"35_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/BFb0053547","volume-title":"Foundations of Software Science and Computation Structures","author":"L. Cardelli","year":"1998","unstructured":"Cardelli, L., Gordon, A.D.: Mobile ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol.\u00a01378, p. 140. Springer, Heidelberg (1998)"},{"issue":"3","key":"35_CR18","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/S0950-7051(01)00152-6","volume":"15","author":"S.C. Fl\u00e1vio","year":"2002","unstructured":"Fl\u00e1vio, S.C., da Silva, A.C.V., de Melo, J., Agusti, W., Vasconcelos, D., Robertson, M., Finger, V.: On the insufficiency of ontologies: Problems on knowledge sharing and alternative solutions. Knowledge-Based Systems\u00a015(3), 147\u2013167 (2002)","journal-title":"Knowledge-Based Systems"},{"key":"35_CR19","unstructured":"Fournet, C., Gonthier, G.: The reflexive chemical abstract machine and the join-calculus. In: 23rd ACM Symposium on Principles of Programming Languages. ACM Press, New York (1996)"},{"key":"35_CR20","series-title":"Lecture Notes in Computer Science","volume-title":"CONCUR \u201996: Concurrency Theory","author":"C. Fournet","year":"1996","unstructured":"Fournet, C., Gonthier, G., Levy, J.J., Maranget, L., Remy, D.: A calculus of mobile agents. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol.\u00a01119, Springer, Heidelberg (1996)"},{"key":"35_CR21","volume-title":"The Pi-Calculus: A Theory of Mobile Processes","author":"D. Sangiorgi","year":"2003","unstructured":"Sangiorgi, D., Walker, D.: The Pi-Calculus: A Theory of Mobile Processes. Cambridge University Press, Cambridge (2003)"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11575801_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T16:24:58Z","timestamp":1553358298000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11575801_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540297383","9783540321200"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/11575801_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}