{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:36:01Z","timestamp":1725543361818},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540372158"},{"type":"electronic","value":"9783540372165"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11813040_24","type":"book-chapter","created":{"date-parts":[[2006,8,7]],"date-time":"2006-08-07T06:51:03Z","timestamp":1154933463000},"page":"348-363","source":"Crossref","is-referenced-by-count":2,"title":["Formal Modeling of Communication Protocols by Graph Transformation"],"prefix":"10.1007","author":[{"given":"Zarrin","family":"Langari","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard","family":"Trefler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"24_CR1","doi-asserted-by":"crossref","unstructured":"Amla, N., Emerson, E.A., Namjoshi, K., Trefler, R.: Abstract Patterns of Compositional Reasoning. In: Proc. CONCUR, 14th International Conference on Concurrency Theory, Marseille, France, September 2003, pp. 423\u2013438 (2003)","DOI":"10.1007\/978-3-540-45187-7_28"},{"issue":"1","key":"24_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0167-6423(98)00023-9","volume":"34","author":"M. Andries","year":"1999","unstructured":"Andries, M., Engles, G., Habel, A., Hoffmann, B., Kreowski, H.-J., Kuske, S., Plump, D., Sch\u00fcrr, A., Taentzer, G.: Graph Transformation for Specification and Programming. Science of Computer Programming\u00a034(1), 1\u201354 (1999)","journal-title":"Science of Computer Programming"},{"key":"24_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-540-28644-8_6","volume-title":"CONCUR 2004 - Concurrency Theory","author":"P. Baldan","year":"2004","unstructured":"Baldan, P., Corradini, A., K\u00f6nig, B.: Verifying Finite-State Graph Grammars: an Unfolding-Based Approach. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol.\u00a03170, pp. 83\u201398. Springer, Heidelberg (2004)"},{"key":"24_CR4","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1142\/9789812814951_0003","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation, Concurrency, Parallelism, and Distribution","author":"P. Baldan","year":"1999","unstructured":"Baldan, P., Corradini, A., Montanari, U., Rossi, F., Ehrig, H., L\u00f6we, M.: Concurrent Semantics of Algebraic Graph Transformations. In: Rozenberg (ed.) Handbook of Graph Grammars and Computing by Graph Transformation, Concurrency, Parallelism, and Distribution, vol.\u00a03, pp. 107\u2013185. World Scientific, Singapore (1999)"},{"key":"24_CR5","unstructured":"Baldan, P., K\u00f6nig, B., Rensink, A.: Summary 2: Graph Grammar Verification through Abstraction. In: K\u00f6nig, B., Montanari, U., Gardner, P. (eds.): Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, number 04241 in Dagstuhl Seminar Proceedings. Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germany (2005)"},{"key":"24_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"402","DOI":"10.1007\/3-540-45832-8_30","volume-title":"Graph Transformation","author":"L. Baresi","year":"2002","unstructured":"Baresi, L., Heckel, R.: Tutorial Introduction to Graph Transformation: A Software Engineering Perspective. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol.\u00a02505, pp. 402\u2013429. Springer, Heidelberg (2002)"},{"issue":"1","key":"24_CR7","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1145\/967030.967034","volume":"IV","author":"G. Bond","year":"2004","unstructured":"Bond, G., Cheung, E., Purdy, K.H., Zave, P., Ramming, J.C.: An Open Architecture For Next-Generation Telecommunication Services. ACM Transactions on Internet Technology\u00a0IV(1), 83\u2013123 (2004)","journal-title":"ACM Transactions on Internet Technology"},{"key":"24_CR8","unstructured":"Bousquet, L., Gaudoin, O.: Telephony Feature Validation against Eventuality Properties and Interaction Detection based on Statistical Analysis of the Time to Service. In: ICFI 2005, Eight International Conference on Feature Interactions in Telecommunications and Software Systems, Leicester, UK (2005)"},{"key":"24_CR9","unstructured":"Corradini, A., Heckel, R., Montanari, U.: Graphical Operational Semantics. In: Rolim, J.D.P., et al. (eds.) ICALP 2000, Workshop on Graph Transformation and Visual Modeling Techniques. Carleton Scientific (2000)"},{"key":"24_CR10","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1142\/9789812384720_0004","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation, Foundations","author":"H. Ehrig","year":"1997","unstructured":"Ehrig, H., Heckel, R., Korff, M., L\u00f6we, M., Ribeiro, L., Wagner, A., Corradini, A.: Algebraic Approaches to Graph Transformation Part II: Single Pushout Approach and Comparison with Double Pushout. In: Rozenberg (ed.) Handbook of Graph Grammars and Computing by Graph Transformation, Foundations, vol.\u00a01, pp. 247\u2013312. World Scientific, Singapore (1997)"},{"key":"24_CR11","unstructured":"Engels, G., Heckel, R.: From Trees to Graphs: Defining The Semantics of Diagram Languages with Graph Transformation. In: Rolim, J.D.P., et al. (eds.) ICALP 2000. Workshop on Graph Transformation and Visual Modeling Techniques, Geneva, Switzerland, pp. 373\u2013382. Carleton Scientific (2000)"},{"key":"24_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1007\/978-3-540-24627-5_2","volume-title":"Foundations of Information and Knowledge Systems","author":"Y. Gurevich","year":"2004","unstructured":"Gurevich, Y.: Abstract State Machines: An Overview of The Project in Foundations of Information and Knowledge Systems. In: Seipel, D., Turull-Torres, J.M.a. (eds.) FoIKS 2004. LNCS, vol.\u00a02942, pp. 6\u201313. Springer, Heidelberg (2004)"},{"key":"24_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/BFb0053588","volume-title":"Fundamental Approaches to Software Engineering","author":"R. Heckel","year":"1998","unstructured":"Heckel, R.: Compositional Verification of Reactive Systems Specified by Graph Transformation. In: Astesiano, E. (ed.) ETAPS 1998 and FASE 1998. LNCS, vol.\u00a01382, pp. 138\u2013153. Springer, Heidelberg (1998)"},{"key":"24_CR14","unstructured":"Hoffman, B., Minas, M.: A Generic Model for Diagram Syntax and Semantics. In: Proc. ICALP 2000 Workshop on Graph Transformation and Visul Modeling Techniques, Geneva, Switzerland. Carleton Scientific (2000)"},{"issue":"10","key":"24_CR15","doi-asserted-by":"publisher","first-page":"831","DOI":"10.1109\/32.729683","volume":"XXIV","author":"M. Jackson","year":"1998","unstructured":"Jackson, M., Zave, P.: Distributed Feature Composition: A Virtual Architecture for Telecommunications Services. IEEE Transactions on Software Engineering\u00a0XXIV(10), 831\u2013847 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"24_CR16","unstructured":"Juarez Dominguez, A.L.: Verification of DFC Call Protocol Correctness Criteria. MMath thesis, University of Waterloo, Waterloo, Canada (May 2005)"},{"key":"24_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/11609773_17","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"N. Ghafari","year":"2005","unstructured":"Ghafari, N., Trefler, R.: Piecewise FIFO Channels are Analyzable. In: Emerson, E.A., Namjoshi, K.S. (eds.) VMCAI 2006. LNCS, vol.\u00a03855, pp. 252\u2013266. Springer, Heidelberg (2005)"},{"key":"24_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/3-540-45441-1_19","volume-title":"\u00abUML\u00bb 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"S. Kuske","year":"2001","unstructured":"Kuske, S.: A Formal Semantics of UML State Machines Based on Structured Graph Transformation. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol.\u00a02185, pp. 241\u2013256. Springer, Heidelberg (2001)"},{"key":"24_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"548","DOI":"10.1007\/3-540-44683-4_48","volume-title":"Mathematical Foundations of Computer Science 2001","author":"C. Morvan","year":"2001","unstructured":"Morvan, C., Stirling, C.: Rational Graphs Trace Context-Sensitive Languages. In: Sgall, J., Pultr, A., Kolman, P. (eds.) MFCS 2001. LNCS, vol.\u00a02136, p. 548. Springer, Heidelberg (2001)"},{"key":"24_CR20","unstructured":"Pachl, J.: Reachability Problems for Communicating Finite State Machines. University of Waterloo, Department of Computer Science Research Report (1982)"},{"key":"24_CR21","doi-asserted-by":"crossref","unstructured":"Padberg, J.: Basic Ideas for Transformations of Specification Architectures. Electronic Notes in Theoretical Computer Science\u00a072(4) (2003)","DOI":"10.1016\/S1571-0661(04)80625-X"},{"key":"24_CR22","unstructured":"Rensink, A.: Towards Model Checking Graph Grammars. In: Leuschel, Grumer, Presti, L. (eds.) 3rd Workshop on Automated Verification of Critical Systems (2003)"},{"key":"24_CR23","unstructured":"Ribeiro, L.: Parallel Composition and Unfolding Semantics of Graph Grammars. Ph.D. Thesis, TU Berlin (1996)"},{"key":"24_CR24","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1023\/A:1008691205954","volume":"7","author":"L. Ribeiro","year":"1999","unstructured":"Ribeiro, L.: Parallel Composition of Graph Grammars. Journal of Applied Categorical Structures\u00a07, 405\u2013430 (1999)","journal-title":"Journal of Applied Categorical Structures"},{"volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation, Foundations","year":"1997","key":"24_CR25","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation, Foundations, vol.\u00a01. World Scientific, Singapore (1997)"},{"key":"24_CR26","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1142\/9789812814951_0005","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation, Concurrency, Parallelism, and Distribution","author":"G. Taentzer","year":"1999","unstructured":"Taentzer, G.: Distributed Graph Transformation with Application to Visual Design of Distributed Systems. In: Rozenberg (ed.) Handbook of Graph Grammars and Computing by Graph Transformation, Concurrency, Parallelism, and Distribution, vol.\u00a03, pp. 269\u2013340. World Scientific, Singapore (1999)"}],"container-title":["Lecture Notes in Computer Science","FM 2006: Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11813040_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:14:22Z","timestamp":1605626062000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11813040_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540372158","9783540372165"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/11813040_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}