{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:21:35Z","timestamp":1725567695849},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540221203"},{"type":"electronic","value":"9783540259596"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-25959-6_9","type":"book-chapter","created":{"date-parts":[[2010,10,23]],"date-time":"2010-10-23T15:09:47Z","timestamp":1287846587000},"page":"120-133","source":"Crossref","is-referenced-by-count":6,"title":["Specification and Analysis of Fault Behaviours Using Graph Grammars"],"prefix":"10.1007","author":[{"given":"Fernando Luis","family":"Dotti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leila","family":"Ribeiro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Osmar Marchi","family":"dos Santos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Copstein, B., Mora, M., Ribeiro, L.: An environment for formal modeling and simulation of control system. In: Proc. of the 33rd Annual Simulation Symposium, pp. 74\u201382. SCS (2000)","DOI":"10.1109\/SIMSYM.2000.844903"},{"key":"9_CR2","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":"B. Copstein","year":"2000","unstructured":"Copstein, B., Ribeiro, L.: Compositional Construction of Simulation Models using Graph Grammars. In: M\u00fcnch, M., Nagl, M. (eds.) AGTIVE 1999. LNCS, vol.\u00a01779, pp. 87\u201394. Springer, Heidelberg (2000)"},{"issue":"1","key":"9_CR3","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1109\/TSE.1985.231534","volume":"11","author":"F. Cristian","year":"1985","unstructured":"Cristian, F.: A rigorous approach to Fault-Tolerant programming. IEEE Transactions on Software Engineering\u00a011(1), 23\u201331 (1985)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9_CR4","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/978-0-387-35520-7_3","volume-title":"Formal Methods for Open Object-based Systems IV","author":"F. Dotti","year":"2000","unstructured":"Dotti, F., Ribeiro, L.: Specification of mobile code systems using graph grammars. In: Smith, S., Talcott, C. (eds.) Formal Methods for Open Object-based Systems IV, pp. 45\u201364. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"9_CR5","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, pp. 261\u2013267. SCS International (2002)"},{"key":"9_CR6","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, pp. 1\u20139. SDPS (2002)"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.): Handbook of Graph Grammars and Computing by Graph Transformations. Applications, Languages and Tools, vol.\u00a02, World Scientific, Singapore (1999)","DOI":"10.1142\/4180"},{"key":"9_CR8","doi-asserted-by":"crossref","first-page":"406","DOI":"10.1007\/3-540-61604-7_67","volume-title":"7th International Conference on Concurrency Theory","author":"C. Fournet","year":"1996","unstructured":"Fournet, C., Gonthier, G., L\u00e9vy, J.-J., Maranget, L., R\u00e9my, D.: A Calculus of Mobile Agents. In: 7th International Conference on Concurrency Theory, pp. 406\u2013421. Springer, Heidelberg (1996)"},{"key":"9_CR9","unstructured":"G\u00e4rtner, F.C.: Specifications for Fault Tolerance: A Comedy of Failures. Technical Report TUD-BS-1998-03, Darmstadt University of Technology, Department of Computer Science, Germany (1998)"},{"issue":"1","key":"9_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/311531.311532","volume":"31","author":"F.C. G\u00e4rtner","year":"1999","unstructured":"G\u00e4rtner, F.C.: Fundamentals of Fault-Tolerant Distributed Computing in Asynchronous Environments. ACM Computing Surveys\u00a031(1), 1\u201326 (1999)","journal-title":"ACM Computing Surveys"},{"key":"9_CR11","unstructured":"Hadzilacos, V., Toueg, S.: A Modular Approach to Fault-Tolerant Broadcasts and Related Problems. Technical Report TR94-1425, Cornell University, Department of Computer Science, Ithaca, NY, USA (1994)"},{"issue":"5","key":"9_CR12","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":"9_CR13","first-page":"51","volume-title":"Fault Tolerance in Distributed Systems","author":"P. Jalote","year":"1994","unstructured":"Jalote, P.: Fault Tolerance in Distributed Systems, pp. 51\u201353. Prentice Hall, Englewood Cliffs (1994)"},{"issue":"3","key":"9_CR14","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1145\/357172.357176","volume":"4","author":"L. Lamport","year":"1982","unstructured":"Lamport, L., Shostak, R., Pease, M.: The Byzantine Generals Problem. ACM Transactions on Programming Languages and Systems\u00a04(3), 382\u2013401 (1982)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"9_CR15","first-page":"2","volume-title":"15th International Symposium on Fault-Tolerant Computing","author":"J.-C. Laprie","year":"1985","unstructured":"Laprie, J.-C.: Dependable Computing and Fault Tolerance: Concepts and Terminology. In: 15th International Symposium on Fault-Tolerant Computing, pp. 2\u201311. IEEE Computer Society Press, Los Alamitos (1985)"},{"key":"9_CR16","volume-title":"Distributed Algorithms","author":"N. Lynch","year":"1996","unstructured":"Lynch, N.: Distributed Algorithms. Morgan Kaufmann, San Francisco (1996)"},{"issue":"2","key":"9_CR17","first-page":"219","volume":"3","author":"N. Lynch","year":"1989","unstructured":"Lynch, N., Tuttle, M.: An Introduction to Input\/Output Automata. CWIQuarterly\u00a03(2), 219\u2013246 (1989)","journal-title":"CWIQuarterly"},{"issue":"3","key":"9_CR18","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1109\/TSE.1986.6312888","volume":"12","author":"K.J. Perry","year":"1986","unstructured":"Perry, K.J., Toueg, S.: Distributed Agreement in the Presence of Processor and Communication Faults. IEEE Transactions on Software Engineering\u00a012(3), 477\u2013482 (1986)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9_CR19","unstructured":"R\u00f6del, E.T.: Modelagem Formal de Falhas em Sistemas Distribu\u00eddos envolvendo Mobilidade (Formal Modeling of Faults in Distributed Systems with Code Mobility). Master\u2019s thesis, Pontif\u00edcia Universidade Cat\u00f3lica do Rio Grande do Sul, Porto Alegre, RS, Brasil (2003)"},{"key":"9_CR20","series-title":"Foundations","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformations","year":"1997","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformations. Foundations, vol.\u00a01. World Scientific, Singapore (1997)"},{"key":"9_CR21","unstructured":"Silva, F.A.: A Transaction Model based on Mobile Agents. PhD thesis, Technical University Berlin - FB Informatik, Berlin, Germany (1999)"}],"container-title":["Lecture Notes in Computer Science","Applications of Graph Transformations with Industrial Relevance"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-25959-6_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,5]],"date-time":"2019-06-05T20:42:44Z","timestamp":1559767364000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-25959-6_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540221203","9783540259596"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-25959-6_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}