{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,21]],"date-time":"2025-11-21T22:38:09Z","timestamp":1763764689516,"version":"3.41.0"},"publisher-location":"Cham","reference-count":55,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319307336"},{"type":"electronic","value":"9783319307343"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-30734-3_7","type":"book-chapter","created":{"date-parts":[[2016,3,12]],"date-time":"2016-03-12T08:19:52Z","timestamp":1457770792000},"page":"65-87","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Proper Protocol"],"prefix":"10.1007","author":[{"given":"Farhad","family":"Arbab","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,3,13]]},"reference":[{"key":"7_CR1","unstructured":"Extensible Coordination Tools home page. http:\/\/reo.project.cwi.nl\/cgibin\/trac.cgi\/reo\/wiki\/Tools"},{"key":"7_CR2","unstructured":"Reo home page. http:\/\/reo.project.cwi.nl"},{"key":"7_CR3","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"Actors: A Model of Concurrent Computation in Distributed Systems","author":"G Agha","year":"1986","unstructured":"Agha, G.: Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge (1986)"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Amdahl, G.M.: Validity of the single processor approach to achieving large scale computing capabilities. In: American Federation of Information Processing Societies: Proceedings of the AFIPS 1967 Spring Joint Computer Conference, 18\u201320 April 1967, Atlantic City, New Jersey, USA. AFIPS Conference Proceedings, vol. 30, pp. 483\u2013485. AFIPS\/ACM\/Thomson Book Company, Washington D.C. (1967)","DOI":"10.1145\/1465482.1465560"},{"issue":"3","key":"7_CR5","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1017\/S0960129504004153","volume":"14","author":"F Arbab","year":"2004","unstructured":"Arbab, F.: Reo: a channel-based coordination model for component composition. Math. Struct. Comput. Sci. 14(3), 329\u2013366 (2004)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"1\u20133","key":"7_CR6","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.scico.2004.05.010","volume":"55","author":"F Arbab","year":"2005","unstructured":"Arbab, F.: Abstract behavior types: a foundation model for components and their composition. Sci. Comput. Program. 55(1\u20133), 3\u201352 (2005)","journal-title":"Sci. Comput. Program."},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/978-3-642-24933-4_9","volume-title":"Formal Modeling: Actors, Open Systems, Biological Systems","author":"F Arbab","year":"2011","unstructured":"Arbab, F.: Puff, the magic protocol. In: Agha, G., Danvy, O., Meseguer, J. (eds.) Formal Modeling: Actors, Open Systems, Biological Systems. LNCS, vol. 7000, pp. 169\u2013206. Springer, Heidelberg (2011)"},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/3-540-46000-4_6","volume-title":"Coordination Models and Languages","author":"F Arbab","year":"2002","unstructured":"Arbab, F., Mavaddat, F.: Coordination through channel composition. In: Arbab, F., Talcott, C. (eds.) COORDINATION 2002. LNCS, vol. 2315, pp. 22\u201339. Springer, Heidelberg (2002)"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Arvind, Gostelow, K.P., Plouffe, W.: Indeterminancy, monitors, and dataflow. In: Rosen, S., Denning, P.J. (eds.) Proceedings of the Sixth Symposium on Operating System Principles, SOSP 1977, Purdue University, West Lafayette, Indiana, USA, 16\u201318 November 1977, pp. 159\u2013169. ACM (1977)","DOI":"10.1145\/800214.806559"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1007\/978-3-319-10431-7_10","volume-title":"Software Engineering and Formal Methods","author":"P Attie","year":"2014","unstructured":"Attie, P., Baranov, E., Bliudze, S., Jaber, M., Sifakis, J.: A general framework for architecture composability. In: Giannakopoulou, D., Sala\u00fcn, G. (eds.) SEFM 2014. LNCS, vol. 8702, pp. 128\u2013143. Springer, Heidelberg (2014)"},{"key":"7_CR11","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624193","volume-title":"Process Algebra","author":"JCM Baeten","year":"1990","unstructured":"Baeten, J.C.M., Weijland, W.P.: Process Algebra. Cambridge University Press, New York (1990)"},{"issue":"2","key":"7_CR12","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/j.scico.2005.10.008","volume":"61","author":"C Baier","year":"2006","unstructured":"Baier, C., Sirjani, M., Arbab, F., Rutten, J.: Modeling component connectors in Reo by constraint automata. Sci. Comput. Program. 61(2), 75\u2013113 (2006)","journal-title":"Sci. Comput. Program."},{"issue":"3","key":"7_CR13","first-page":"63","volume":"5","author":"DH Bailey","year":"1991","unstructured":"Bailey, D.H., Barszcz, E., Barton, J.T., Browning, D.S., Carter, R.L., Dagum, L., Fatoohi, R.A., Frederickson, P.O., Lasinski, T.A., Schreiber, R., Simon, H.D., Venkatakrishnan, V., Weeratunga, S.: The NAS parallel benchmarks. IJHPCA 5(3), 63\u201373 (1991)","journal-title":"IJHPCA"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time components in BIP. In: Proceedings of SEFM 2006, pp. 3\u201312. IEEE (2006)","DOI":"10.1109\/SEFM.2006.27"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-58043-3_16","volume-title":"A Decade of Concurrency","author":"A Benveniste","year":"1994","unstructured":"Benveniste, A., Caspi, P., Le Guernic, P., Halbwachs, N.: Data-flow synchronous languages. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) REX 1993. LNCS, vol. 803, pp. 1\u201345. Springer, Heidelberg (1994)"},{"key":"7_CR16","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0019-9958(84)80025-X","volume":"60","author":"JA Bergstra","year":"1984","unstructured":"Bergstra, J.A., Klop, J.W.: Process algebra for synchronous communication. Inf. Control 60, 109\u2013137 (1984)","journal-title":"Inf. Control"},{"key":"7_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-48153-2_1","volume-title":"Correct Hardware Design and Verification Methods","author":"G Berry","year":"1999","unstructured":"Berry, G.: Esterel and Jazz: two synchronous languages for circuit design. In: Pierre, L., Kropf, T. (eds.) CHARME 1999. LNCS, vol. 1703, p. 1. Springer, Heidelberg (1999)"},{"key":"7_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/3-540-10699-5_102","volume-title":"Formalization of Programming Concepts","author":"J Dean Brock","year":"1981","unstructured":"Dean Brock, J., Ackerman, W.B.: Scenarios: a model of non-determinate computation. In: D\u00edaz, J., Ramos, I. (eds.) Formalization of Programming Concepts. LNCS, vol. 107, pp. 252\u2013259. Springer, Heidelberg (1981)"},{"issue":"2","key":"7_CR19","first-page":"155","volume":"4","author":"JT Buck","year":"1994","unstructured":"Buck, J.T., Ha, S., Lee, E.A., Messerschmitt, D.G.: Ptolemy: a framework for simulating and prototyping heterogenous systems. Int. J. Comput. Simul. 4(2), 155\u2013182 (1994)","journal-title":"Int. J. Comput. Simul."},{"key":"7_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/978-3-642-01918-0_5","volume-title":"Formal Methods for Web Services","author":"M Carbone","year":"2009","unstructured":"Carbone, M., Yoshida, N., Honda, K.: Asynchronous session types: exceptions and multiparty interactions. In: Bernardo, M., Padovani, L., Zavattaro, G. (eds.) SFM 2009. LNCS, vol. 5569, pp. 187\u2013212. Springer, Heidelberg (2009)"},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"Caspi, P., Pilaud, D., Halbwachs, N., Plaice, J.: Lustre: a declarative language for programming synchronous systems. In: Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, Munich, Germany, 21\u201323 January 1987, pp. 178\u2013188. ACM Press (1987)","DOI":"10.1145\/41625.41641"},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"Dennis, J.B., Gao, G.R.: An efficient pipelined dataflow processor architecture. In: Michael, G.A. (ed.) Proceedings Supercomputing 1988, Orlando, FL, USA, 12\u201317 November 1988, pp. 368\u2013373. IEEE Computer Society (1988)","DOI":"10.1109\/SUPERC.1988.44674"},{"key":"7_CR23","series-title":"Texts in Theoretical Computer Science, An EATCS Series","volume-title":"Introduction to Process Algebra","author":"W Fokkink","year":"1999","unstructured":"Fokkink, W.: Introduction to Process Algebra. Texts in Theoretical Computer Science, An EATCS Series. Springer, Heidelberg (1999)"},{"key":"7_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/3-540-18317-5_15","volume-title":"Functional Programming Languages and Computer Architecture","author":"T Gautier","year":"1987","unstructured":"Gautier, T., Le Guernic, P., Besnard, L.: SIGNAL: a declarative language for synchronous programming of real-time systems. In: Kahn, G. (ed.) Functional Programming Languages and Computer Architecture. LNCS, vol. 274, pp. 257\u2013277. Springer, Heidelberg (1987)"},{"issue":"12","key":"7_CR25","doi-asserted-by":"publisher","first-page":"1135","DOI":"10.1002\/spe.1026","volume":"40","author":"H Gonz\u00e1lez-V\u00e9lez","year":"2010","unstructured":"Gonz\u00e1lez-V\u00e9lez, H., Leyton, M.: A survey of algorithmic skeleton frameworks: high-level structured parallel programming enablers. Softw. Pract. Exper. 40(12), 1135\u20131160 (2010)","journal-title":"Softw. Pract. Exper."},{"issue":"5","key":"7_CR26","doi-asserted-by":"publisher","first-page":"532","DOI":"10.1145\/42411.42415","volume":"31","author":"JL Gustafson","year":"1988","unstructured":"Gustafson, J.L.: Reevaluating Amdahl\u2019s law. Commun. ACM 31(5), 532\u2013533 (1988)","journal-title":"Commun. ACM"},{"key":"7_CR27","unstructured":"Halle, S.: A Study of Frameworks for Collectively Meeting the Productivity, Portability, and Adoptability Goals for Parallel Software. Ph.D. thesis, University of California, Santa Cruz (2011)"},{"key":"7_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/978-3-642-36036-7_13","volume-title":"Languages and Compilers for Parallel Computing","author":"S Halle","year":"2013","unstructured":"Halle, S., Cohen, A.: A mutable hardware abstraction to replace threads. In: Rajopadhye, S., Mills Strout, M. (eds.) LCPC 2011. LNCS, vol. 7146, pp. 185\u2013202. Springer, Heidelberg (2013)"},{"issue":"2","key":"7_CR29","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1145\/173682.165164","volume":"21","author":"M Herlihy","year":"1993","unstructured":"Herlihy, M., Moss, J.E.B.: Transactional memory: architectural support for lock-free data structures. SIGARCH Comput. Archit. News 21(2), 289\u2013300 (1993)","journal-title":"SIGARCH Comput. Archit. News"},{"key":"7_CR30","volume-title":"Communicating Sequential Processes","author":"CAR Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Upper Saddle River (1985)"},{"key":"7_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-3-642-19056-8_4","volume-title":"Distributed Computing and Internet Technology","author":"K Honda","year":"2011","unstructured":"Honda, K., Mukhamedov, A., Brown, G., Chen, T.-C., Yoshida, N.: Scribbling interactions with a formal foundation. In: Natarajan, R., Ojo, A. (eds.) ICDCIT 2011. LNCS, vol. 6536, pp. 55\u201375. Springer, Heidelberg (2011)"},{"key":"7_CR32","doi-asserted-by":"crossref","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: Necula, G.C., Wadler, P. (eds.) Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, 7\u201312 January 2008, pp. 273\u2013284. ACM (2008)","DOI":"10.1145\/1328438.1328472"},{"key":"7_CR33","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/j.scico.2015.09.001","volume":"115\u2013116","author":"S-S Jongmans","year":"2016","unstructured":"Jongmans, S.-S., Arbab, F.: Global consensus through local synchronization: a formal basis for partially-distributed coordination. Sci. Comput. Program. 115\u2013116, 199\u2013224 (2016)","journal-title":"Sci. Comput. Program."},{"issue":"1","key":"7_CR34","first-page":"201","volume":"22","author":"S-S Jongmans","year":"2012","unstructured":"Jongmans, S.-S., Arbab, F.: Overview of thirty semantic formalisms for Reo. Sci. Ann. Comput. Sci. 22(1), 201\u2013251 (2012)","journal-title":"Sci. Ann. Comput. Sci."},{"key":"7_CR35","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-642-45364-9_15","volume-title":"Advances in Service-Oriented and Cloud Computing","author":"S-STQ Jongmans","year":"2013","unstructured":"Jongmans, S.-S.T.Q., Arbab, F.: Global consensus through local synchronization. In: Canal, C., Villari, M. (eds.) ESOCC 2013. CCIS, vol. 393, pp. 174\u2013188. Springer, Heidelberg (2013)"},{"key":"7_CR36","doi-asserted-by":"crossref","unstructured":"Jongmans, S.-S., Arbab, F.: Modularizing and specifying protocols among threads. In: Proceedings of PLACES 2012. EPTCS, vol. 109, pp. 34\u201345. CoRR (2013)","DOI":"10.4204\/EPTCS.109.6"},{"key":"7_CR37","doi-asserted-by":"crossref","first-page":"38","DOI":"10.4204\/EPTCS.166.5","volume":"166","author":"Sung-Shik T.Q. Jongmans","year":"2014","unstructured":"Jongmans, S.-S., Arbab, F.: Toward sequentializing overparallelized protocol code. In: Proceedings of ICE 2014, EPTCS, vol. 166, pp. 38\u201344. CoRR (2014)","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"key":"7_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/978-3-662-43376-8_5","volume-title":"Coordination Models and Languages","author":"S-STQ Jongmans","year":"2014","unstructured":"Jongmans, S.-S.T.Q., Halle, S., Arbab, F.: Automata-based optimization of interaction protocols for scalable multicore platforms. In: K\u00fchn, E., Pugliese, R. (eds.) COORDINATION 2014. LNCS, vol. 8459, pp. 65\u201382. Springer, Heidelberg (2014)"},{"key":"7_CR39","doi-asserted-by":"crossref","unstructured":"Jongmans, S.-S., Halle, S., Arbab, F.: Reo: a dataflow inspired language for multicore. In: Proceedings of DFM 2013, pp. 42\u201350. IEEE (2014)","DOI":"10.1109\/DFM.2013.14"},{"key":"7_CR40","doi-asserted-by":"crossref","unstructured":"Jongmans, S.-S., Santini, F., Arbab, F.: Partially-distributed coordination with Reo. In: Proceedings of PDP 2014, pp. 697\u2013706. IEEE (2014)","DOI":"10.1109\/PDP.2014.19"},{"issue":"4","key":"7_CR41","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/s11761-013-0147-1","volume":"8","author":"S-S Jongmans","year":"2014","unstructured":"Jongmans, S.-S., Santini, F., Sargolzaei, M., Arbab, F., Afsarmanesh, H.: Orchestrating web services using Reo: from circuits and behaviors to automatically generated code. SOCA 8(4), 277\u2013297 (2014)","journal-title":"SOCA"},{"key":"7_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/978-3-319-24644-4_17","volume-title":"Fundamentals of Software Engineering","author":"S-STQ Jongmans","year":"2015","unstructured":"Jongmans, S.-S.T.Q., Arbab, F.: Can high throughput atone for high latency in compiler-generated protocol code? In: Dastani, M., Sirjani, M. (eds.) FSEN 2015. LNCS, vol. 9392, pp. 238\u2013258. Springer, Heidelberg (2015)"},{"issue":"3\u20134","key":"7_CR43","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/s11761-015-0177-y","volume":"9","author":"S-STQ Jongmans","year":"2015","unstructured":"Jongmans, S.-S.T.Q., Santini, F., Arbab, F.: Partially distributed coordination with Reo and constraint automata. SOCA 9(3\u20134), 311\u2013339 (2015)","journal-title":"SOCA"},{"key":"7_CR44","unstructured":"Jongmans, S.-S.T.Q.: Automata-Theoretic Protocol Programming: Parallel Computation, Threads and Their Interaction, Optimized Compilation, [at a] High Level of Abstraction. Ph.D. thesis, Leiden University (2015, submitted)"},{"key":"7_CR45","first-page":"471","volume-title":"Information Processing","author":"G Kahn","year":"1974","unstructured":"Kahn, G.: The semantics of a simple language for parallel programming. In: Rosenfeld, J.L. (ed.) Information Processing, pp. 471\u2013475. North Holland, Amsterdam (1974)"},{"key":"7_CR46","unstructured":"Kahn, G., MacQueen, D.B.: Coroutines and networks of parallel processes. In: IFIP Congress, pp. 993\u2013998 (1977)"},{"key":"7_CR47","doi-asserted-by":"crossref","unstructured":"Knight, T.: An architecture for mostly functional languages. In: Proceedings of the 1986 ACM Conference on LISP and Functional Programming, LFP 1986, pp. 105\u2013112. ACM, New York (1986)","DOI":"10.1145\/319838.319854"},{"key":"7_CR48","unstructured":"Liu, X., Xiong, Y., Lee, E.A.: The ptolemy II framework for visual languages. In: 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), 5\u20137 September 2001, Stresa, Italy, p. 50. IEEE Computer Society (2001)"},{"key":"7_CR49","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","author":"R Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communicating Systems. LNCS, vol. 92. Springer, Heidelberg (1980)"},{"issue":"1","key":"7_CR50","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1145\/151233.151240","volume":"36","author":"R Milner","year":"1993","unstructured":"Milner, R.: Elements of interaction - turing award lecture. Commun. ACM 36(1), 78\u201389 (1993)","journal-title":"Commun. ACM"},{"key":"7_CR51","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/978-3-662-46663-6_11","volume-title":"Compiler Construction","author":"N Ng","year":"2015","unstructured":"Ng, N., de Figueiredo Coutinho, J.G., Yoshida, N.: Protocols by default - safe MPI code generation based on session types. In: Franke, B. (ed.) CC 2015. LNCS, vol. 9031, pp. 212\u2013232. Springer, Heidelberg (2015)"},{"key":"7_CR52","doi-asserted-by":"crossref","unstructured":"Ng, N., Yoshida, N.: Pabble: parameterised scribble for parallel programming. In: 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2014, Torino, Italy, 12\u201314 February 2014, pp. 707\u2013714. IEEE Computer Society (2014)","DOI":"10.1109\/PDP.2014.20"},{"key":"7_CR53","volume-title":"Pi-Calculus: A Theory of Mobile Processes","author":"D Sangiorgi","year":"2001","unstructured":"Sangiorgi, D., Walker, D.: Pi-Calculus: A Theory of Mobile Processes. Cambridge University Press, New York (2001)"},{"key":"7_CR54","doi-asserted-by":"crossref","unstructured":"Shavit, N., Touitou, D.: Software transactional memory. In: Proceedings of the Fourteenth Annual ACM Symposium on Principles of Distributed Computing, PODC 1995, pp. 204\u2013213. ACM, New York (1995)","DOI":"10.1145\/224964.224987"},{"key":"7_CR55","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/978-3-319-05119-2_3","volume-title":"Trustworthy Global Computing","author":"N Yoshida","year":"2014","unstructured":"Yoshida, N., Hu, R., Neykova, R., Ng, N.: The scribble protocol language. In: Abadi, M., Lluch Lafuente, A. (eds.) TGC 2013. LNCS, vol. 8358, pp. 22\u201341. Springer, Heidelberg (2014)"}],"container-title":["Lecture Notes in Computer Science","Theory and Practice of Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-30734-3_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T19:21:09Z","timestamp":1748805669000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-30734-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319307336","9783319307343"],"references-count":55,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-30734-3_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"13 March 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}