{"id":"https://openalex.org/W2232036026","doi":"https://doi.org/10.1007/978-3-319-17112-8_4","title":"A Formal Model of Client-Cloud Interaction","display_name":"A Formal Model of Client-Cloud Interaction","publication_year":2015,"publication_date":"2015-01-01","ids":{"openalex":"https://openalex.org/W2232036026","doi":"https://doi.org/10.1007/978-3-319-17112-8_4","mag":"2232036026"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-17112-8_4","doi":"https://doi.org/10.1007/978-3-319-17112-8_4","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-17112-8_4","pdf_url":null,"source":{"id":"https://openalex.org/S4210189782","display_name":"Texts & monographs in symbolic computation/Texts and monographs in symbolic computation","issn_l":"0943-853X","issn":["0943-853X","2197-8409"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core"],"host_organization":"https://openalex.org/P4310321666","host_organization_name":"Springer Vienna","host_organization_lineage":["https://openalex.org/P4310321666","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Vienna","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Texts & Monographs in Symbolic Computation","raw_type":"book-chapter"},"volume":{"id":"https://openalex.org/W2471480890","display_name":"Correct Software in Web Applications and Web Services"},"type":"book-chapter","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5008269712","display_name":"K\u00e1roly B\u00f3sa","orcid":"https://orcid.org/0000-0002-7436-1218","observed_orcids":["https://orcid.org/0000-0002-7436-1218"]},"institutions":[{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"K\u00e1roly B\u00f3sa","raw_affiliation_strings":["Christian Doppler Laboratory for Client-Centric Cloud Computing, Johannes Kepler University Linz, Softwarepark 21, 4232, Hagenberg, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Christian Doppler Laboratory for Client-Centric Cloud Computing, Johannes Kepler University Linz, Softwarepark 21, 4232, Hagenberg, Austria","institution_ids":["https://openalex.org/I121883995"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018494153","display_name":"Roxana-Maria Holom","orcid":"https://orcid.org/0000-0002-1321-0475","observed_orcids":["https://orcid.org/0000-0002-1321-0475"]},"institutions":[{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Roxana-Maria Holom","raw_affiliation_strings":["Christian Doppler Laboratory for Client-Centric Cloud Computing, Johannes Kepler University Linz, Softwarepark 21, 4232, Hagenberg, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Christian Doppler Laboratory for Client-Centric Cloud Computing, Johannes Kepler University Linz, Softwarepark 21, 4232, Hagenberg, Austria","institution_ids":["https://openalex.org/I121883995"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5003970566","display_name":"Mircea Boris Vleju","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Mircea Boris Vleju","raw_affiliation_strings":["Christian Doppler Laboratory for Client-Centric Cloud Computing, Johannes Kepler University Linz, Softwarepark 21, 4232, Hagenberg, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Christian Doppler Laboratory for Client-Centric Cloud Computing, Johannes Kepler University Linz, Softwarepark 21, 4232, Hagenberg, Austria","institution_ids":["https://openalex.org/I121883995"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5008269712"],"corresponding_institution_ids":["https://openalex.org/I121883995"],"apc_list":null,"apc_paid":null,"fwci":11.3474,"has_fulltext":false,"cited_by_count":16,"citation_normalized_percentile":{"value":0.9869906,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":88,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"83","last_page":"144"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10101","display_name":"Cloud Computing and Resource Management","score":0.43209999799728394,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10101","display_name":"Cloud Computing and Resource Management","score":0.43209999799728394,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11614","display_name":"Cloud Data Security Solutions","score":0.08869999647140503,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.06809999793767929,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/cloud-computing","display_name":"cloud computing","score":0.8429999947547913},{"id":"https://openalex.org/keywords/abstract-state-machines","display_name":"abstract state machines","score":0.8019999861717224},{"id":"https://openalex.org/keywords/ambient-calculus","display_name":"ambient calculus","score":0.9980000257492065},{"id":"https://openalex.org/keywords/identity-management","display_name":"identity management","score":0.7279999852180481},{"id":"https://openalex.org/keywords/mobile-clients","display_name":"mobile clients","score":0.7009999752044678},{"id":"https://openalex.org/keywords/formal-models","display_name":"formal models","score":0.39399999380111694},{"id":"https://openalex.org/keywords/agent-communication","display_name":"agent communication","score":0.36899998784065247}],"concepts":[{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.8854817748069763},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7711523771286011},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.652553915977478},{"id":"https://openalex.org/C145243422","wikidata":"https://www.wikidata.org/wiki/Q333385","display_name":"Abstract state machines","level":3,"score":0.5732156038284302},{"id":"https://openalex.org/C184842701","wikidata":"https://www.wikidata.org/wiki/Q370563","display_name":"Cloud computing security","level":3,"score":0.49496978521347046},{"id":"https://openalex.org/C120115606","wikidata":"https://www.wikidata.org/wiki/Q5135723","display_name":"Cloud testing","level":4,"score":0.48952731490135193},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.4683952331542969},{"id":"https://openalex.org/C2778355321","wikidata":"https://www.wikidata.org/wiki/Q17079427","display_name":"Identity (music)","level":2,"score":0.4481670558452606},{"id":"https://openalex.org/C199168358","wikidata":"https://www.wikidata.org/wiki/Q3367000","display_name":"Orchestration","level":3,"score":0.4303663969039917},{"id":"https://openalex.org/C202477664","wikidata":"https://www.wikidata.org/wiki/Q1352449","display_name":"Client-side","level":2,"score":0.41070273518562317},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.36251312494277954},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.321916788816452},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.177229106426239},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.12664014101028442},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.108053058385849},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-319-17112-8_4","doi":"https://doi.org/10.1007/978-3-319-17112-8_4","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-17112-8_4","pdf_url":null,"source":{"id":"https://openalex.org/S4210189782","display_name":"Texts & monographs in symbolic computation/Texts and monographs in symbolic computation","issn_l":"0943-853X","issn":["0943-853X","2197-8409"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core"],"host_organization":"https://openalex.org/P4310321666","host_organization_name":"Springer Vienna","host_organization_lineage":["https://openalex.org/P4310321666","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Vienna","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Texts & Monographs in Symbolic Computation","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":99,"referenced_works":["https://openalex.org/W2031982","https://openalex.org/W4329248","https://openalex.org/W30853153","https://openalex.org/W50561653","https://openalex.org/W58308675","https://openalex.org/W71478258","https://openalex.org/W73830396","https://openalex.org/W92235905","https://openalex.org/W102035663","https://openalex.org/W138050006","https://openalex.org/W166851811","https://openalex.org/W175873250","https://openalex.org/W204190369","https://openalex.org/W206065626","https://openalex.org/W600852043","https://openalex.org/W604802298","https://openalex.org/W1481551745","https://openalex.org/W1482113168","https://openalex.org/W1487143639","https://openalex.org/W1493922483","https://openalex.org/W1497040040","https://openalex.org/W1507519327","https://openalex.org/W1508050275","https://openalex.org/W1517246785","https://openalex.org/W1525569619","https://openalex.org/W1531296731","https://openalex.org/W1537902984","https://openalex.org/W1539030153","https://openalex.org/W1556566737","https://openalex.org/W1563681017","https://openalex.org/W1579345340","https://openalex.org/W1593647739","https://openalex.org/W1598414993","https://openalex.org/W1603314635","https://openalex.org/W1639519860","https://openalex.org/W1773284672","https://openalex.org/W1853368733","https://openalex.org/W1862925443","https://openalex.org/W1867254752","https://openalex.org/W1954578756","https://openalex.org/W1979767694","https://openalex.org/W1984630933","https://openalex.org/W1990682697","https://openalex.org/W1992069718","https://openalex.org/W1992544097","https://openalex.org/W1994448553","https://openalex.org/W1998333922","https://openalex.org/W1998368317","https://openalex.org/W2003237413","https://openalex.org/W2020543299","https://openalex.org/W2027568438","https://openalex.org/W2030980322","https://openalex.org/W2042032680","https://openalex.org/W2063069782","https://openalex.org/W2068831082","https://openalex.org/W2074340512","https://openalex.org/W2074794556","https://openalex.org/W2076632469","https://openalex.org/W2082960337","https://openalex.org/W2096775353","https://openalex.org/W2097600465","https://openalex.org/W2098104669","https://openalex.org/W2114208097","https://openalex.org/W2125522861","https://openalex.org/W2128714691","https://openalex.org/W2128932399","https://openalex.org/W2136134319","https://openalex.org/W2136757793","https://openalex.org/W2139801570","https://openalex.org/W2140747805","https://openalex.org/W2160062114","https://openalex.org/W2160343382","https://openalex.org/W2163869523","https://openalex.org/W2167998587","https://openalex.org/W2168206814","https://openalex.org/W2168280567","https://openalex.org/W2209502196","https://openalex.org/W2229099388","https://openalex.org/W2236523039","https://openalex.org/W2275530856","https://openalex.org/W2292900647","https://openalex.org/W2296711848","https://openalex.org/W2395091353","https://openalex.org/W2403345836","https://openalex.org/W2488443646","https://openalex.org/W2488946417","https://openalex.org/W2489832089","https://openalex.org/W2497674850","https://openalex.org/W2540937595","https://openalex.org/W2547233306","https://openalex.org/W2549174224","https://openalex.org/W2618582784","https://openalex.org/W2796564118","https://openalex.org/W2912003593","https://openalex.org/W2992252352","https://openalex.org/W3010604041","https://openalex.org/W3020829080","https://openalex.org/W4230958226","https://openalex.org/W4238829772"],"related_works":["https://openalex.org/W107485640","https://openalex.org/W2407643346","https://openalex.org/W2549174224","https://openalex.org/W2181984662","https://openalex.org/W2462617591","https://openalex.org/W2929963702","https://openalex.org/W2323076804","https://openalex.org/W3155525740","https://openalex.org/W3082813577","https://openalex.org/W92235905"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":8},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2016-06-24T00:00:00"}