{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T13:23:27Z","timestamp":1742995407813,"version":"3.40.3"},"publisher-location":"Heidelberg","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319009476"},{"type":"electronic","value":"9783319009483"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-00948-3_6","type":"book-chapter","created":{"date-parts":[[2013,7,19]],"date-time":"2013-07-19T01:16:13Z","timestamp":1374196573000},"page":"85-98","source":"Crossref","is-referenced-by-count":1,"title":["Towards a Protocol Algebra Based on Algebraic Specifications"],"prefix":"10.1007","author":[{"given":"Iakovos","family":"Ouranos","sequence":"first","affiliation":[]},{"given":"Petros","family":"Stefaneas","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"6_CR1","first-page":"74","volume":"6","author":"R. Diaconescu","year":"2000","unstructured":"Diaconescu, R.: Behavioural Coherence in Object-Oriented Algebraic Specification. Universal Computer Science\u00a06(1), 74\u201396 (2000)","journal-title":"Universal Computer Science"},{"key":"6_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-57867-6_1","volume-title":"Recent Trends in Data Type Specification","author":"J.A. Goguen","year":"1994","unstructured":"Goguen, J.A., Diaconescu, R.: Towards an algebraic semantics for the object paradigm. In: Ehrig, H., Orejas, F. (eds.) ADT 1992 and COMPASS 1992. LNCS, vol.\u00a0785, pp. 1\u201334. Springer, Heidelberg (1994)"},{"key":"6_CR3","unstructured":"Goguen, J., Malcolm, G.: A hidden agenda. Technical Report CS97-538, University of California at San Diego (1997)"},{"key":"6_CR4","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1016\/j.tcs.2005.06.015","volume":"343","author":"R. Diaconescu","year":"2005","unstructured":"Diaconescu, R.: Behavioral Specification for Hierarchical Object Composition. Theoretical Computer Science\u00a0343, 305\u2013331 (2005)","journal-title":"Theoretical Computer Science"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Diaconescu, R., Futatsugi, K.: CafeOBJ report. World Scientific (1998)","DOI":"10.1142\/3831"},{"issue":"2","key":"6_CR6","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1145\/77600.77621","volume":"37","author":"J.A. Bergstra","year":"1990","unstructured":"Bergstra, J.A., Heering, J., Klint, P.: Module Algebra. Journal of ACM\u00a037(2), 335\u2013372 (1990)","journal-title":"Journal of ACM"},{"key":"6_CR7","unstructured":"Diaconescu, R., Goguen, J.A., Stefaneas, P.: Logical Support for Modularisation. In: Huet, G., Plotkin, G. (eds.) Logical Environment, pp. 83\u2013130 (1993)"},{"issue":"9","key":"6_CR8","doi-asserted-by":"publisher","first-page":"1986","DOI":"10.1093\/ietfec\/e90-a.9.1986","volume":"E90-A","author":"I. Ouranos","year":"2007","unstructured":"Ouranos, I., Stefaneas, P., Frangos, P.: An Algebraic Framework for Modeling of Mobile Systems. IEICE Trans. Fund.\u00a0E90-A(9), 1986\u20131999 (2007)","journal-title":"IEICE Trans. Fund."},{"issue":"2","key":"6_CR9","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/s10458-006-7232-1","volume":"14","author":"A.P. Mallya","year":"2007","unstructured":"Mallya, A.P., Singh, M.P.: An algebra of commitment protocols. Journal of Autonomous Agents and Multi - Agent Systems\u00a014(2), 143\u2013163 (2007)","journal-title":"Journal of Autonomous Agents and Multi - Agent Systems"},{"key":"6_CR10","unstructured":"Singh, G.: A compositional approach for designing protocols. In: Proceedings of the International Conference on Network Protocols, San Francisco, CA, USA, pp. 98\u2013107 (1993)"},{"key":"6_CR11","unstructured":"Sinha, P., Suri, N.: Modular Composition of Redundancy Management Protocols in Distributed Systems: An Outlook on Simplifying Protocol Level Formal Specification and Verification. In: Proceedings of ICDCS-21, pp. 255\u2013263 (2001)"},{"key":"6_CR12","unstructured":"Garbinato, B., Felber, P., Guerraoui, R.: Modeling Protocols as Objects for Structuring Reliable Distributed Systems. In: Proceedings of the Communication Networks and Distributed Systems Modeling and Simulation Conference (CNDS 1997), Phoenix, Arizona, pp. 165\u2013171 (1997)"},{"key":"6_CR13","unstructured":"Singh, G., Mao, Z.: Structured design of communication protocols. In: Proceedings of the IEEE International Conference on Distributed Computing Systems (1986)"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Hagalisletto, A.M.: Protocol Algebra. In: Proceedings of the 11th IEEE Symposium on Computers and Communications (2006)","DOI":"10.1109\/ISCC.2006.133"},{"issue":"2","key":"6_CR15","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/s10458-006-7232-1","volume":"4","author":"A.U. Mallya","year":"2007","unstructured":"Mallya, A.U., Singh, M.: An algebra for commitment protocols. Autonomous Agents and Multiagent Systems\u00a04(2), 143\u2013163 (2007)","journal-title":"Autonomous Agents and Multiagent Systems"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Futatsugi, K., Goguen, J., Jouannaud, J.-P., Meseguer, J.: Principles of OBJ2. In: Proceedings of the 12th ACM Symposium on Principles of Programming Languages, pp. 52\u201366. ACM (1985)","DOI":"10.1145\/318593.318610"},{"key":"6_CR17","unstructured":"Goguen, J., Winkler, T., Meseguer, J., Futatsugi, K., Jouannaud, J.-P.: Introducing OBJ. Technical report, SRI International, Computer Science Laboratory (1993)"},{"key":"6_CR18","unstructured":"Miranda, H., Pinto, A., Rodrigues, L.: Appia: A flexible protocol kernel supporting multiple coordinated channels. In: Proceedings of the 21st Int. Conf. on Distributed Computing Systems (ICDCS 2001), Washington - Brussels - Tokyo, pp. 707\u2013710 (2001)"},{"key":"6_CR19","unstructured":"Wong, G., Hiltunen, M., Schlichting, R.: CTP: A configurable and extensible transport protocol. In: Proceedings of the 20th Annual Conference of IEEE Communications and Computer Societies (INFOCOM 2001), Anchorage, Alaska (2001)"},{"key":"6_CR20","unstructured":"Wojciechowski, P., R\u00fctti, O., Schiper, A.: SAMOA: Framework for synchronization augmented microprotocol approach. In: Proceedings of Int. Parallel and Distributed Processing Symposium (IPDPS 2004), Santa Fe, US (2004)"},{"key":"6_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"596","DOI":"10.1007\/11780274_31","volume-title":"Algebra, Meaning, and Computation","author":"K. Ogata","year":"2006","unstructured":"Ogata, K., Futatsugi, K.: Some Tips on Writing Proof Scores in the OTS\/CafeOBJ Method. In: Futatsugi, K., Jouannaud, J.-P., Meseguer, J. (eds.) Algebra, Meaning, and Computation. LNCS, vol.\u00a04060, pp. 596\u2013615. Springer, Heidelberg (2006)"},{"key":"6_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/978-3-540-39958-2_12","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"K. Ogata","year":"2003","unstructured":"Ogata, K., Futatsugi, K.: Proof scores in the oTS\/CafeOBJ method. In: Najm, E., Nestmann, U., Stevens, P. (eds.) FMOODS 2003. LNCS, vol.\u00a02884, pp. 170\u2013184. Springer, Heidelberg (2003)"}],"container-title":["Studies in Computational Intelligence","Software Engineering Research, Management and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-00948-3_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,6]],"date-time":"2023-04-06T15:16:51Z","timestamp":1680794211000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-00948-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319009476","9783319009483"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-00948-3_6","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2014]]}}}