{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:10:04Z","timestamp":1760202604265,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540204916"},{"type":"electronic","value":"9783540399582"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"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":[[2003]]},"DOI":"10.1007\/978-3-540-39958-2_18","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T10:06:04Z","timestamp":1294394764000},"page":"261-275","source":"Crossref","is-referenced-by-count":23,"title":["Verification of Distributed Object-Based Systems"],"prefix":"10.1007","author":[{"given":"Fernando L.","family":"Dotti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luciana","family":"Foss","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leila","family":"Ribeiro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Osmar M.","family":"dos Santos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/3-540-48234-2_13","volume-title":"Theoretical and Practical Aspects of SPIN Model Checking","author":"M. Chechik","year":"1999","unstructured":"Chechik, M., P\u0103un, D.O.: Events in property patterns. In: Dams, D.R., Gerth, R., Leue, S., Massink, M. (eds.) SPIN 1999. LNCS, vol.\u00a01680, pp. 154\u2013167. Springer, Heidelberg (1999)"},{"key":"18_CR2","first-page":"380","volume-title":"4th International Symposium on Autonomous Decentralized Systems","author":"S.M. Cho","year":"1999","unstructured":"Cho, S.M., et al.: Applying model checking to concurrent object-oriented software. In: 4th International Symposium on Autonomous Decentralized Systems, Japan, pp. 380\u2013383. IEEE Computer Society Press, Los Alamitos (1999)"},{"key":"18_CR3","first-page":"74","volume-title":"33rd Annual Simulation Symposium","author":"B. Copstein","year":"2000","unstructured":"Copstein, B., Mora, M.C., Ribeiro, L.: An environment for formal modeling and simulation of control systems. In: 33rd Annual Simulation Symposium, USA, pp. 74\u201382. IEEE Computer Society, Los Alamitos (2000)"},{"key":"18_CR4","unstructured":"Dotti, F.L., Duarte, L.M., Copstein, B., Ribeiro, L.: Simulation of mobile applications. In: Communication Networks and Distributed Systems Modeling and Simulation Conference, The Society for Modeling and Simulation International, USA, pp. 261\u2013267 (2002)"},{"key":"18_CR5","unstructured":"Dotti, F.L., Duarte, L.M., Silva, F.A., Andrade, A.S.: A framework for supporting the development of correct mobile applications based on graph grammars. In: 6th World Conference on Integrated Design & Process Technology, Society for Design and Process Science, USA, pp. 1\u20139 (2002)"},{"key":"18_CR6","series-title":"IFIP Conference Proceedings","first-page":"45","volume-title":"4th International Conference on Formal Methods for Open Object- Based Distributed Systems","author":"F.L. Dotti","year":"1984","unstructured":"Dotti, F.L., Ribeiro, L.: Specification of mobile code systems using graph grammars. In: Programming Languages and their Definition. IFIP Conference Proceedings, USA, vol.\u00a0177, pp. 45\u201363. Kluwer, Dordrecht (1984)"},{"key":"18_CR7","series-title":"LNCS","volume-title":"1st Latin-American Symposium on Dependable Computing","author":"F.L. Dotti","year":"2003","unstructured":"Dotti, F.L., Santos, O.M., R\u00f6del, E.T.: On the use of formal specifications to analyze fault behaviors of distributed systems. In: 1st Latin-American Symposium on Dependable Computing, Germany. LNCS. Springer, Heidelberg (2003) (accepted)"},{"key":"18_CR8","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0025714","volume-title":"1st International Workshop on Graph Grammars and Their Application to Computer Science and Biology","author":"H. Ehrig","year":"1979","unstructured":"Ehrig, H.: Introduction to the algebraic theory of graph grammars. In: 1st International Workshop on Graph Grammars and Their Application to Computer Science and Biology, Germany. LNCS, vol.\u00a073, pp. 1\u201369. Springer, Heidelberg (1979)"},{"issue":"5","key":"18_CR9","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G.J. Holzmann","year":"1997","unstructured":"Holzmann, G.J.: The model checker SPIN. IEEE Transactions on Software Engineering\u00a023(5), 279\u2013295 (1997)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"18_CR10","first-page":"14","volume-title":"2nd International Symposium on Object-Oriented Real-Time Distributed Computing","author":"S. Leue","year":"1999","unstructured":"Leue, S., Holzmann, G.: v-Promela: a visual, object oriented language for SPIN. In: 2nd International Symposium on Object-Oriented Real-Time Distributed Computing, France, pp. 14\u201323. IEEE Computer Society Press, Los Alamitos (1999)"},{"key":"18_CR11","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1109\/ASE.1999.802301","volume-title":"14th International Conference on Automated Software Engineering","author":"J. Lilius","year":"1999","unstructured":"Lilius, J., Paltor, I.P.: vUML: a tool for verifying UML models. In: 14th International Conference on Automated Software Engineering, USA, pp. 255\u2013258. IEEE Computer Society Press, Los Alamitos (1999)"},{"key":"18_CR12","series-title":"Lecture Notes in Computer Science","first-page":"396","volume-title":"Structure in Complexity Theory","author":"A.B. Loreto","year":"2002","unstructured":"Loreto, A.B., Ribeiro, L., Toscani, L.V.: Decidability and tractability of a problem in object-based graph grammars. In: Selman, A.L. (ed.) Structure in Complexity Theory. LNCS, vol.\u00a0223, pp. 396\u2013408. Kluwer, Dordrecht (2002)"},{"key":"18_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/3-540-45104-8_7","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"L. Ribeiro","year":"2000","unstructured":"Ribeiro, L., Copstein, B.: Compositional construction of simulation models using graph grammars. In: M\u00fcnch, M., Nagl, M. (eds.) AGTIVE 1999. LNCS, vol.\u00a01779, pp. 87\u201395. Springer, Heidelberg (2000)"},{"key":"18_CR14","series-title":"Foundations","volume-title":"Handbook of graph grammars and computing by graph transformation","year":"1997","unstructured":"Rozenberg, G. (ed.): Handbook of graph grammars and computing by graph transformation. Foundations, vol.\u00a01. World Scientific, Singapore (1997)"},{"key":"18_CR15","unstructured":"Weise, C.: An incremental formal semantics for PROMELA. In: 3rd SPIN Workshop, The Netherlands (1997)"},{"key":"18_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/3-540-47884-1_10","volume-title":"Integrated Formal Methods","author":"K. Winter","year":"2002","unstructured":"Winter, K., Duke, R.: Model checking object-Z using ASM. In: Butler, M., Petre, L., Sere, K. (eds.) IFM 2002. LNCS, vol.\u00a02335, pp. 165\u2013184. Springer, Heidelberg (2002)"},{"key":"18_CR17","unstructured":"Promela language reference (2003), \n                    \n                      http:\/\/spinroot.com\/spin\/Man\/promela.html"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Open Object-Based Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39958-2_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T05:22:03Z","timestamp":1553318523000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39958-2_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540204916","9783540399582"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39958-2_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}