{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T00:06:36Z","timestamp":1778198796874,"version":"3.51.4"},"reference-count":66,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2015,10,27]],"date-time":"2015-10-27T00:00:00Z","timestamp":1445904000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[2016,8]]},"DOI":"10.1007\/s00236-015-0249-7","type":"journal-article","created":{"date-parts":[[2015,10,27]],"date-time":"2015-10-27T10:56:42Z","timestamp":1445943402000},"page":"469-492","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":48,"title":["Concurrent abstract state machines"],"prefix":"10.1007","volume":"53","author":[{"given":"Egon","family":"B\u00f6rger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Klaus-Dieter","family":"Schewe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,10,27]]},"reference":[{"key":"249_CR1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-Book","author":"JR Abrial","year":"1996","unstructured":"Abrial, J.R.: The B-Book. Cambridge University Press, Cambridge (1996)"},{"key":"249_CR2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in Event-B","author":"JR Abrial","year":"2010","unstructured":"Abrial, J.R.: Modeling in Event-B. Cambridge University Press, Cambridge (2010)"},{"key":"249_CR3","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"A Model of Concurrent Computation in Distributed Systems","author":"G Agha","year":"1986","unstructured":"Agha, G.: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge (1986)"},{"key":"249_CR4","doi-asserted-by":"crossref","unstructured":"Banach, R., Hall, A., Stepney, S.: Retrenchment and the atomicity pattern. In: Fifth IEEE International Conference on Software Engineering and Formal Methods, pp. 37\u201346 (2007)","DOI":"10.1109\/SEFM.2007.34"},{"key":"249_CR5","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1007\/s00165-011-0216-1","volume":"25","author":"R Banach","year":"2013","unstructured":"Banach, R., Jeske, C., Hall, A., Stepney, S.: Atomicity failure and the retrenchment atomicity pattern. Form. Asp. Comput. 25, 439\u2013464 (2013)","journal-title":"Form. Asp. Comput."},{"key":"249_CR6","volume-title":"Semantics of Sequential and Parallel Programs","author":"E Best","year":"1996","unstructured":"Best, E.: Semantics of Sequential and Parallel Programs. Prentice Hall, Englewood Cliffs (1996)"},{"issue":"4","key":"249_CR7","doi-asserted-by":"crossref","first-page":"578","DOI":"10.1145\/937555.937561","volume":"4","author":"A Blass","year":"2003","unstructured":"Blass, A., Gurevich, Y.: Abstract state machines capture parallel algorithms. ACM Trans. Comput. Log. 4(4), 578\u2013651 (2003)","journal-title":"ACM Trans. Comput. Log."},{"issue":"2","key":"249_CR8","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1145\/1131313.1131320","volume":"7","author":"A Blass","year":"2006","unstructured":"Blass, A., Gurevich, Y.: Ordinary interactive small-step algorithms I. ACM Trans. Comput. Log. 7(2), 363\u2013419 (2006)","journal-title":"ACM Trans. Comput. Log."},{"issue":"3","key":"249_CR9","first-page":"1","volume":"8","author":"A Blass","year":"2007","unstructured":"Blass, A., Gurevich, Y.: Ordinary interactive small-step algorithms II. ACM Trans. Comput. Log. 8(3), 1\u201341 (2007)","journal-title":"ACM Trans. Comput. Log."},{"issue":"3","key":"249_CR10","first-page":"1","volume":"8","author":"A Blass","year":"2007","unstructured":"Blass, A., Gurevich, Y.: Ordinary interactive small-step algorithms III. ACM Trans. Comput. Log. 8(3), 1\u201351 (2007)","journal-title":"ACM Trans. Comput. Log."},{"issue":"3","key":"249_CR11","first-page":"1","volume":"9","author":"A Blass","year":"2008","unstructured":"Blass, A., Gurevich, Y.: Abstract state machines capture parallel algorithms: correction and extension. ACM Trans. Comput. Log. 9(3), 1\u201332 (2008)","journal-title":"ACM Trans. Comput. Log."},{"issue":"4:3","key":"249_CR12","first-page":"1","volume":"3","author":"A Blass","year":"2007","unstructured":"Blass, A., Gurevich, Y., Rosenzweig, D., Rossman, B.: Interactive small-step algorithms I: axiomatization. Log. Methods Comput. Sci. 3(4:3), 1\u201329 (2007)","journal-title":"Log. Methods Comput. Sci."},{"issue":"4:4","key":"249_CR13","first-page":"1","volume":"3","author":"A Blass","year":"2007","unstructured":"Blass, A., Gurevich, Y., Rosenzweig, D., Rossman, B.: Interactive small-step algorithms II: abstract state machines and the characterization theorem. Log. Methods Comput. Sci. 3(4:4), 1\u201335 (2007)","journal-title":"Log. Methods Comput. Sci."},{"key":"249_CR14","unstructured":"B\u00f6rger, E.: Computability, complexity, logic (English translation of Berechenbarkeit, Komplexit\u00e4t, Logik, Vieweg-Verlag 1985), Studies in Logic and the Foundations of Mathematics, vol. 128. North-Holland (1989)"},{"issue":"1","key":"249_CR15","first-page":"2","volume":"8","author":"E B\u00f6rger","year":"2002","unstructured":"B\u00f6rger, E.: The origins and the development of the ASM method for high-level system design and analysis. J. Univers. Comput. Sci. 8(1), 2\u201374 (2002)","journal-title":"J. Univers. Comput. Sci."},{"key":"249_CR16","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1007\/s00165-003-0012-7","volume":"15","author":"E B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E.: The ASM refinement method. Form. Asp. Comput. 15, 237\u2013257 (2003)","journal-title":"Form. Asp. Comput."},{"key":"249_CR17","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/s00165-006-0019-y","volume":"19","author":"E B\u00f6rger","year":"2007","unstructured":"B\u00f6rger, E.: Construction and analysis of ground models and their refinements as a foundation for validating computer based systems. Form. Asp. Comput. 19, 225\u2013241 (2007)","journal-title":"Form. Asp. Comput."},{"key":"249_CR18","doi-asserted-by":"crossref","unstructured":"B\u00f6rger, E., Fleischmann, A.: Abstract state machine nets. Closing the gap between business process models and their implementation. In: Proceedings of the S-BPM ONE 2015. ACM Digital Library. ACM. ISBN:978-1-4503-3312-2 (2015)","DOI":"10.1145\/2723839.2723840"},{"key":"249_CR19","doi-asserted-by":"crossref","unstructured":"B\u00f6rger, E., Schewe, K.D.: Specifying transaction control to serialize concurrent program executions. In: Ait-Ameur, Y., Schewe, K.D. (eds.) Proceedings ABZ 2014, LNCS. Springer (2014)","DOI":"10.1007\/978-3-662-43652-3_13"},{"key":"249_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract State Machines: A Method for High-Level System Design and Analysis","author":"E B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E., St\u00e4rk, R.F.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Berlin (2003)"},{"key":"249_CR21","unstructured":"Farahbod, R., et al.: The CoreASM Project. http:\/\/www.coreasm.org and http:\/\/www.github.com\/coreasm"},{"key":"249_CR22","unstructured":"Ferrarotti, F., Schewe, K.D., Tec, L., Wang, Q.: A new thesis concerning synchronised parallel computing\u2014simplified parallel ASM thesis. CoRR abs\/1504.06203 (2015). arXiv:1504.06203 . Submitted for publication"},{"key":"249_CR23","unstructured":"Fleischmann, A., Schmidt, W., Stary, C., Obermeier, S., B\u00f6rger, E.: Subject-Oriented Business Process Management. Springer Open Access Book, Heidelberg (2012). www.springer.com\/978-3-642-32391-1"},{"key":"249_CR24","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/0304-3975(81)90113-4","volume":"13","author":"HJ Genrich","year":"1981","unstructured":"Genrich, H.J., Lautenbach, K.: System modelling with high-level Petri nets. Theor. Comput. Sci. 13, 109\u2013136 (1981)","journal-title":"Theor. Comput. Sci."},{"key":"249_CR25","doi-asserted-by":"crossref","unstructured":"Gr\u00e4del, E., Nowack, A.: Quantum computing and abstract state machines. In: B\u00f6rger, E., Gargantini, A., Riccobene, E. (eds.) Abstract State Machines 2003\u2014Advances in Theory and Applications, Lecture Notes in Computer Science, vol. 2589, pp. 309\u2013323. Springer, Berlin (2003)","DOI":"10.1007\/3-540-36498-6_18"},{"key":"249_CR26","unstructured":"Gurevich, Y.: Reconsidering Turing\u2019s thesis: toward more realistic semantics of programs. Technical Report CRL-TR-36-84, EECS Department, University of Michigan (1984)"},{"issue":"4","key":"249_CR27","first-page":"317","volume":"6","author":"Y Gurevich","year":"1985","unstructured":"Gurevich, Y.: A new thesis. Amer. Math. Soc. 6(4), 317 (1985)","journal-title":"A new thesis. Amer. Math. Soc."},{"key":"249_CR28","unstructured":"Gurevich, Y.: Evolving algebras 1993: Lipari guide. In: B\u00f6rger, E. (ed.) Specification and Validation Methods, pp. 9\u201336. Oxford University Press (1995)"},{"issue":"1","key":"249_CR29","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1145\/343369.343384","volume":"1","author":"Y Gurevich","year":"2000","unstructured":"Gurevich, Y.: Sequential abstract state machines capture sequential algorithms. ACM Trans. Comput. Log. 1(1), 77\u2013111 (2000)","journal-title":"ACM Trans. Comput. Log."},{"key":"249_CR30","first-page":"295","volume-title":"Specification and Validation Methods","author":"Y Gurevich","year":"1995","unstructured":"Gurevich, Y., Mani, R.: Group membership protocol: specification and verification. In: B\u00f6rger, E. (ed.) Specification and Validation Methods, pp. 295\u2013328. Oxford University Press, Oxford (1995)"},{"key":"249_CR31","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1007\/3-540-44518-8_9","volume-title":"Abstract State Machines: Theory and Applications, LNCS","author":"Y Gurevich","year":"2000","unstructured":"Gurevich, Y., Rosenzweig, D.: Partially ordered runs: a case study. In: Gurevich, Y., Kutter, P., Odersky, M., Thiele, L. (eds.) Abstract State Machines: Theory and Applications, LNCS, vol. 1912, pp. 131\u2013150. Springer, Berlin (2000)"},{"issue":"2\u20133","key":"249_CR32","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/j.tcs.2004.11.010","volume":"336","author":"Y Gurevich","year":"2005","unstructured":"Gurevich, Y., Tillmann, N.: Partial updates. Theor. Comput. Sci. 336(2\u20133), 311\u2013342 (2005)","journal-title":"Theor. Comput. Sci."},{"key":"249_CR33","unstructured":"Hamburg, U.: The Petri nets bibliography. http:\/\/www.informatik.uni-hamburg.de\/TGI\/pnbib\/index.html"},{"key":"249_CR34","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-01728-5","volume-title":"Transactional Memory","author":"T Harris","year":"2010","unstructured":"Harris, T., Larus, J., Rajwar, R.: Transactional Memory, 2nd edn. Morgan and Claypool, Los Altos (2010)","edition":"2"},{"key":"249_CR35","doi-asserted-by":"crossref","unstructured":"Hewitt, C.: What is computation? Actor model versus Turing\u2019s model. In: Zenil, H. (ed.) A Computable Universe: Understanding Computation and Exploring Nature as Computation. Dedicated to the memory of Alan M. Turing on the 100th anniversary of his birth. World Scientific Publishing (2012)","DOI":"10.1142\/9789814374309_0009"},{"key":"249_CR36","volume-title":"Communicating Sequential Processes","author":"CAR Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"249_CR37","doi-asserted-by":"publisher","unstructured":"Jensen, K.: Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical. Monographs in Theoretical Computer Science. An EATCS Series vol. 3. Springer, Berlin (1997). doi: 10.1007\/978-3-642-60794-3","DOI":"10.1007\/978-3-642-60794-3"},{"issue":"8","key":"249_CR38","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1145\/361082.361093","volume":"17","author":"L Lamport","year":"1974","unstructured":"Lamport, L.: A new solution of Dijkstra\u2019s concurrent programming problem. Commun. ACM 17(8), 453\u2013455 (1974)","journal-title":"Commun. ACM"},{"issue":"7","key":"249_CR39","doi-asserted-by":"crossref","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L Lamport","year":"1978","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21(7), 558\u2013565 (1978)","journal-title":"Commun. ACM"},{"issue":"9","key":"249_CR40","doi-asserted-by":"crossref","first-page":"690","DOI":"10.1109\/TC.1979.1675439","volume":"28","author":"L Lamport","year":"1979","unstructured":"Lamport, L.: How to make a multiprocessor computer that correctly executes multiprocess programs. IEEE Trans. Comput. 28(9), 690\u2013691 (1979)","journal-title":"IEEE Trans. Comput."},{"key":"249_CR41","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/BF01786227","volume":"1","author":"L Lamport","year":"1986","unstructured":"Lamport, L.: On interprocess communication. Part I: Basic formalism. Part II: algorithms. Distrib. Comput. 1, 77\u2013101 (1986)","journal-title":"Distrib. Comput."},{"key":"249_CR42","unstructured":"Lamport, L.: Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley (2003). http:\/\/lamport.org"},{"key":"249_CR43","unstructured":"Lamport, L., Schneider, F.B.: Pretending Atomicity. DEC Systems Research Center (1989)"},{"key":"249_CR44","doi-asserted-by":"crossref","unstructured":"Lamport, L., Lynch, N.: Distributed computing: models and methods. In: J. van Leeuwen (ed.) Handbook of Theoretical Computer Science, pp. 1157\u20131199. Elsevier (1990)","DOI":"10.1016\/B978-0-444-88074-1.50023-8"},{"key":"249_CR45","unstructured":"Lynch, N.: Distributed Algorithms. Morgan Kaufmann (1996). ISBN:978-1-55860-348-6"},{"key":"249_CR46","first-page":"279","volume-title":"Trace Theory","author":"A Mazurkiewicz","year":"1987","unstructured":"Mazurkiewicz, A.: Trace Theory, pp. 279\u2013324. Springer, Berlin (1987)"},{"key":"249_CR47","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1142\/9789814261456_0001","volume-title":"The Book of Traces","author":"A Mazurkiewicz","year":"1995","unstructured":"Mazurkiewicz, A.: Introduction to trace theory. In: Diekert, V., Rozenberg, G. (eds.) The Book of Traces, pp. 3\u201367. World Scientific, Singapore (1995)"},{"key":"249_CR48","unstructured":"Milner, R.: A Calculus of Communicating Systems. Springer (1982). ISBN 0-387-10235-3"},{"key":"249_CR49","unstructured":"Milner, R.: Communicating and Mobile Systems: The Pi-Calculus. Springer (1999). ISBN 9780521658690"},{"key":"249_CR50","volume-title":"Petri Net Theory and the Modeling of Systems","author":"J Peterson","year":"1981","unstructured":"Peterson, J.: Petri Net Theory and the Modeling of Systems. Prentice-Hall, Englewood Cliffs (1981)"},{"key":"249_CR51","unstructured":"Petri, C.A.: Kommunikation mit automaten. Ph.D. thesis, Institut f\u00fcr Instrumentelle Mathematik der Universit\u00e4t Bonn (1962). Schriften des IIM Nr. 2"},{"key":"249_CR52","doi-asserted-by":"crossref","unstructured":"Plosila, J., Sere, K., Walden, M.: Design with asynchronously communicating components. In: de Boer et al., F. (ed.) Proceedings of FMCO 2002, No. 2852 in LNCS, pp. 424\u2013442. Springer (2003)","DOI":"10.1007\/978-3-540-39656-7_18"},{"key":"249_CR53","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1007\/978-3-662-43652-3_18","volume-title":"Abstract State Machines, Alloy, B, TLA, VDM and Z\u2014Proceedings of the 4th International Conference (ABZ 2014), LNCS","author":"A Prinz","year":"2014","unstructured":"Prinz, A., Sherratt, E.: Distributed ASM-pitfalls and solutions. In: A\u00eft-Ameur, Y., Schewe, K.D. (eds.) Abstract State Machines, Alloy, B, TLA, VDM and Z\u2014Proceedings of the 4th International Conference (ABZ 2014), LNCS, vol. 8477, pp. 210\u2013215. Springer, Toulouse (2014)"},{"key":"249_CR54","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/S0022-0000(69)80011-5","volume":"3","author":"RM Karp","year":"1969","unstructured":"Karp, R.M., Miller, R.: Parallel program schemata. J. Comput. Syst. Sci. 3, 147\u2013195 (1969)","journal-title":"J. Comput. Syst. Sci."},{"key":"249_CR55","volume-title":"The Theory and Practice of Concurrency","author":"A Roscoe","year":"1997","unstructured":"Roscoe, A.: The Theory and Practice of Concurrency. Prentice-Hall, Englewood Cliffs (1997)"},{"issue":"4","key":"249_CR56","first-page":"765","volume":"19","author":"KD Schewe","year":"2010","unstructured":"Schewe, K.D., Wang, Q.: A customised ASM thesis for database transformations. Acta Cybern. 19(4), 765\u2013805 (2010)","journal-title":"Acta Cybern."},{"issue":"20","key":"249_CR57","first-page":"3043","volume":"16","author":"KD Schewe","year":"2010","unstructured":"Schewe, K.D., Wang, Q.: XML database transformations. J. Univers. Comput. Sci. 16(20), 3043\u20133072 (2010)","journal-title":"J. Univers. Comput. Sci."},{"key":"249_CR58","first-page":"37","volume-title":"Information and Knowledge Bases XXII, Frontiers in Artificial Intelligence and Applications","author":"KD Schewe","year":"2011","unstructured":"Schewe, K.D., Wang, Q.: Partial updates in complex-value databases. In: Heimb\u00fcrger, A., et al. (eds.) Information and Knowledge Bases XXII, Frontiers in Artificial Intelligence and Applications, vol. 225, pp. 37\u201356. IOS Press, Amsterdam (2011)"},{"key":"249_CR59","doi-asserted-by":"crossref","unstructured":"Schewe, K.D., Wang, Q.: A simplified parallel ASM thesis. In: Derrick, J., et al. (eds.) Abstract State Machines, Alloy, B, VDM, and Z\u2014Third International Conference (ABZ 2012), LNCS, vol. 7316, pp. 341\u2013344. Springer (2012)","DOI":"10.1007\/978-3-642-30885-7_27"},{"key":"249_CR60","first-page":"371","volume-title":"Foundations of Information and Knowledge Bases (FoIKS 2012), LNCS","author":"KD Schewe","year":"2012","unstructured":"Schewe, K.D., Wang, Q.: Synchronous parallel database transformations. In: Lukasiewicz, T., Sali, A. (eds.) Foundations of Information and Knowledge Bases (FoIKS 2012), LNCS, vol. 7153, pp. 371\u2013384. Springer, Berlin (2012)"},{"key":"249_CR61","unstructured":"Schneider, F., Lamport, L.: Paradigms for distributed programs. In: Distributed Systems, LNCS, vol. 190. Springer (1985)"},{"key":"249_CR62","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-59495-3","volume-title":"Java and the Java Virtual Machine: Definition, Verification, Validation","author":"RF St\u00e4rk","year":"2001","unstructured":"St\u00e4rk, R.F., Schmid, J., B\u00f6rger, E.: Java and the Java Virtual Machine: Definition, Verification, Validation. Springer, Berlin (2001)"},{"issue":"11","key":"249_CR63","first-page":"1089","volume":"7","author":"C Wallace","year":"2001","unstructured":"Wallace, C., Tremblay, G., Amaral, J.N.: An abstract state machine specification and verification of the location consistency memory model and cache protocol. J. Univers. Comput. Sci. 7(11), 1089\u20131113 (2001)","journal-title":"J. Univers. Comput. Sci."},{"key":"249_CR64","unstructured":"Wang, Q.: Logical Foundations of Database Transformations for Complex-Value Databases.Logos (2010). http:\/\/logos-verlag.de\/cgi-bin\/engbuchmid?isbn=2563&lng=deu&id="},{"key":"249_CR65","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1145\/253769.253801","volume":"40","author":"P Wegner","year":"1997","unstructured":"Wegner, P.: Why interaction is more powerful than algorithms. Commun. ACM 40, 80\u201391 (1997)","journal-title":"Commun. ACM"},{"key":"249_CR66","first-page":"1","volume-title":"Handbook of Logic and the Foundations of Computer Science: Semantic Modelling","author":"G Winskel","year":"1995","unstructured":"Winskel, G., Nielsen, M.: Models for concurrency. In: Abramsky, S., Gabbay, D., Maibaum, T.S.E. (eds.) Handbook of Logic and the Foundations of Computer Science: Semantic Modelling, vol. 4, pp. 1\u2013148. Oxford University Press, Oxford (1995)"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-015-0249-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00236-015-0249-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-015-0249-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,15]],"date-time":"2023-08-15T16:55:00Z","timestamp":1692118500000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00236-015-0249-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10,27]]},"references-count":66,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2016,8]]}},"alternative-id":["249"],"URL":"https:\/\/doi.org\/10.1007\/s00236-015-0249-7","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,10,27]]}}}