{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:14:39Z","timestamp":1759637679269},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2014,7,10]],"date-time":"2014-07-10T00:00:00Z","timestamp":1404950400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Peer-to-Peer Netw. Appl."],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1007\/s12083-014-0293-z","type":"journal-article","created":{"date-parts":[[2014,7,9]],"date-time":"2014-07-09T05:12:05Z","timestamp":1404882725000},"page":"793-806","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Analyzing the exhaustiveness of the Synapse protocol"],"prefix":"10.1007","volume":"8","author":[{"given":"Bojan","family":"Marinkovi\u0107","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vincenzo","family":"Ciancaglini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zoran","family":"Ognjanovi\u0107","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paola","family":"Glavan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luigi","family":"Liquori","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Petar","family":"Maksimovi\u0107","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,7,10]]},"reference":[{"key":"293_CR1","doi-asserted-by":"crossref","unstructured":"B\u00f6rger E, St\u00e4rk R (2003) Abstract state machines a method for high-level system design and analysis. Springer-Verlag","DOI":"10.1007\/978-3-642-18216-7"},{"key":"293_CR2","doi-asserted-by":"crossref","unstructured":"Ciancaglini V, Liquori L, Vanni L (2010) CarPal: interconnecting overlay networks for a community-driven shared mobility. In: TGC 2010. International symposium on trustworthy global computing. Lecture Notes in Computer Science, vol 6084. Springer-Verlag, pp 301\u2013317","DOI":"10.1007\/978-3-642-15640-3_20"},{"key":"293_CR3","unstructured":"Gurevich Y (1995) Evolving algebras 1993: Lipari guide. In: Specification and validation methods. Oxford University Press, pp 9\u201336"},{"issue":"1","key":"293_CR4","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1145\/343369.343384","volume":"1","author":"Y Gurevich","year":"2000","unstructured":"Gurevich Y (2000) Sequential abstract state machines capture sequential algorithms. ACM Trans Comput Logic 1 (1): 77\u2013111","journal-title":"ACM Trans Comput Logic"},{"key":"293_CR5","doi-asserted-by":"crossref","unstructured":"Liquori L, Tedeschi C, Vanni L, Bongiovanni F, Ciancaglini V, Marinkovi\u0107 B (2010) Synapse: a scalable protocol for interconnecting heterogeneous overlay networks. In: Networking 2010. Lecture notes in computer science, vol 6091 (p. 410). pp 67\u201382","DOI":"10.1007\/978-3-642-12963-6_6"},{"key":"293_CR6","doi-asserted-by":"crossref","unstructured":"Ciancaglini V, Hoang GN, Liquori L (2011) Towards a common architecture to interconnect heterogeneous overlay networks. In: ICPADS 2011. IEEE, pp 817\u2013822","DOI":"10.1109\/ICPADS.2011.139"},{"key":"293_CR7","doi-asserted-by":"crossref","unstructured":"Ciancaglini V, Hoang GN, Maksimovi\u0107 P, Liquori L (2012) An extension and cooperation mechanism for heterogeneous overlay networks. In: Networking 2012. Lecture notes in computer science, vol 7291. pp 10\u201318","DOI":"10.1007\/978-3-642-30039-4_2"},{"key":"293_CR8","doi-asserted-by":"crossref","unstructured":"Marinkovi\u0107 B, Liquori L, Ciancaglini V, Ognjanovi\u0107 Z (2011) A distributed catalog for digitized cultural heritage. In: ICT innovations 2010, CCIS 83. pp 176\u2013186","DOI":"10.1007\/978-3-642-19325-5_18"},{"key":"293_CR9","unstructured":"Marinkovi\u0107 B, Glavan P, Ognjanovi\u0107 Z Formal description of the chord protocol using ASM. At arXiv: 1208.0712v1"}],"container-title":["Peer-to-Peer Networking and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s12083-014-0293-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s12083-014-0293-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s12083-014-0293-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T23:44:52Z","timestamp":1559432692000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s12083-014-0293-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,7,10]]},"references-count":9,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2015,9]]}},"alternative-id":["293"],"URL":"https:\/\/doi.org\/10.1007\/s12083-014-0293-z","relation":{},"ISSN":["1936-6442","1936-6450"],"issn-type":[{"value":"1936-6442","type":"print"},{"value":"1936-6450","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,7,10]]}}}