{"id":"https://openalex.org/W1580166056","doi":"https://doi.org/10.3217/jucs-016-18-2629","title":"Compositional Semantics of Dataflow Networks with Query-Driven Communication of Exact Values","display_name":"Compositional Semantics of Dataflow Networks with Query-Driven Communication of Exact Values","publication_year":2020,"publication_date":"2020-04-07","ids":{"openalex":"https://openalex.org/W1580166056","doi":"https://doi.org/10.3217/jucs-016-18-2629","mag":"1580166056"},"language":"en","primary_location":{"id":"doi:10.3217/jucs-016-18-2629","is_oa":true,"landing_page_url":"https://doi.org/10.3217/jucs-016-18-2629","pdf_url":null,"source":{"id":"https://openalex.org/S4306400660","display_name":"TUGraz OPEN Library (Graz University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4092182","host_organization_name":"Graz University of Technology","host_organization_lineage":["https://openalex.org/I4092182"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.3217/jucs-016-18-2629","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5091894566","display_name":"Amin Farjudian","orcid":"https://orcid.org/0000-0002-1879-0763"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Amin Farjudian","raw_affiliation_strings":["Computer Science"],"affiliations":[{"raw_affiliation_string":"Computer Science","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5046876389","display_name":"Michal Kone\u010dn\u00fd","orcid":"https://orcid.org/0000-0003-2374-9017"},"institutions":[{"id":"https://openalex.org/I169199633","display_name":"Aston University","ror":"https://ror.org/05j0ve876","country_code":"GB","type":"education","lineage":["https://openalex.org/I169199633"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Michal Kone\u010dn\u00fd","raw_affiliation_strings":["Aston University,"],"affiliations":[{"raw_affiliation_string":"Aston University,","institution_ids":["https://openalex.org/I169199633"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5091894566"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.3224,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.59784756,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.993399977684021,"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"}},"topics":[{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.993399977684021,"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"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9916999936103821,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11986","display_name":"Scientific Computing and Data Management","score":0.9876999855041504,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/denotational-semantics","display_name":"Denotational semantics","score":0.8707916736602783},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8167123794555664},{"id":"https://openalex.org/keywords/dataflow","display_name":"Dataflow","score":0.7445950508117676},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6560946702957153},{"id":"https://openalex.org/keywords/domain-theory","display_name":"Domain theory","score":0.6559130549430847},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.6448618173599243},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5446445941925049},{"id":"https://openalex.org/keywords/denotational-semantics-of-the-actor-model","display_name":"Denotational semantics of the Actor model","score":0.5223140120506287},{"id":"https://openalex.org/keywords/principle-of-compositionality","display_name":"Principle of compositionality","score":0.4547828733921051},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.4518631100654602},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.446390300989151},{"id":"https://openalex.org/keywords/action-semantics","display_name":"Action semantics","score":0.44441547989845276},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4047551155090332},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.36856839060783386},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.17484217882156372},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.13980016112327576},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1321951150894165}],"concepts":[{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.8707916736602783},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8167123794555664},{"id":"https://openalex.org/C96324660","wikidata":"https://www.wikidata.org/wiki/Q205446","display_name":"Dataflow","level":2,"score":0.7445950508117676},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6560946702957153},{"id":"https://openalex.org/C29585364","wikidata":"https://www.wikidata.org/wiki/Q1079166","display_name":"Domain theory","level":2,"score":0.6559130549430847},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.6448618173599243},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5446445941925049},{"id":"https://openalex.org/C89448276","wikidata":"https://www.wikidata.org/wiki/Q5259284","display_name":"Denotational semantics of the Actor model","level":5,"score":0.5223140120506287},{"id":"https://openalex.org/C121375916","wikidata":"https://www.wikidata.org/wiki/Q936559","display_name":"Principle of compositionality","level":2,"score":0.4547828733921051},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4518631100654602},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.446390300989151},{"id":"https://openalex.org/C150607116","wikidata":"https://www.wikidata.org/wiki/Q4677421","display_name":"Action semantics","level":5,"score":0.44441547989845276},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4047551155090332},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.36856839060783386},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.17484217882156372},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.13980016112327576},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1321951150894165}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3217/jucs-016-18-2629","is_oa":true,"landing_page_url":"https://doi.org/10.3217/jucs-016-18-2629","pdf_url":null,"source":{"id":"https://openalex.org/S4306400660","display_name":"TUGraz OPEN Library (Graz University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4092182","host_organization_name":"Graz University of Technology","host_organization_lineage":["https://openalex.org/I4092182"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.3217/jucs-016-18-2629","is_oa":true,"landing_page_url":"https://doi.org/10.3217/jucs-016-18-2629","pdf_url":null,"source":{"id":"https://openalex.org/S4306400660","display_name":"TUGraz OPEN Library (Graz University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4092182","host_organization_name":"Graz University of Technology","host_organization_lineage":["https://openalex.org/I4092182"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W1545280042","https://openalex.org/W1974537499","https://openalex.org/W2000030459","https://openalex.org/W2006919190","https://openalex.org/W2111203331","https://openalex.org/W2169180789","https://openalex.org/W2173213060","https://openalex.org/W2461511891"],"related_works":["https://openalex.org/W2091718659","https://openalex.org/W3012889025","https://openalex.org/W183453064","https://openalex.org/W2777606628","https://openalex.org/W2151485489","https://openalex.org/W2007502694","https://openalex.org/W2952935384","https://openalex.org/W2805724896","https://openalex.org/W3117925125","https://openalex.org/W3003035462","https://openalex.org/W2736489244","https://openalex.org/W2083534051","https://openalex.org/W3186269239","https://openalex.org/W3103989664","https://openalex.org/W2114837026","https://openalex.org/W2752020647","https://openalex.org/W78927986","https://openalex.org/W2187529648","https://openalex.org/W179213036","https://openalex.org/W2763272531"],"abstract_inverted_index":{"We":[0,75,169],"develop":[1],"and":[2,30,63,99,109],"study":[3,153],"the":[4,70,92,101,124,131,139,143,172,180,197],"concept":[5],"of":[6,43,80,127,142,162,179,231],"dataflow":[7],"process":[8,98,102],"networks":[9,82,221],"as":[10,27,47,67,95,222,224],"used":[11,120,190],"for":[12,154],"exampleby":[13],"Kahn":[14,122],"to":[15,23,56,138,152,194,217],"suit":[16],"exact":[17,38],"computation":[18],"over":[19],"data":[20],"types":[21],"related":[22],"real":[24],"numbers,":[25],"such":[26],"continuous":[28],"functions":[29],"geometrical":[31],"solids.":[32],"Furthermore,":[33],"we":[34],"consider":[35],"communicating":[36],"these":[37],"objectsamong":[39],"processes":[40,55,72,129],"using":[41],"protocols":[42],"a":[44,96,115,176,185],"query-answer":[45],"nature":[46],"introduced":[48,104],"in":[49,83,105,130,191],"our":[50,81,106,232],"earlier":[51,107],"work.":[52],"This":[53],"enables":[54],"provide":[57,184],"valid":[58],"approximations":[59],"with":[60],"certain":[61],"accuracy":[62],"focusing":[64],"on":[65],"certainlocality":[66],"demanded":[68],"by":[69,90,114,121],"receiving":[71],"through":[73,208],"queries.":[74],"define":[76],"domain-theoretical":[77],"denotational":[78,125],"semantics":[79,103,126,135,141,159,174,199],"two":[84,198],"ways:":[85],"(1)":[86],"directly,":[87],"i.":[88,112,202],"e.":[89,113,146,203],"viewing":[91],"whole":[93],"network":[94,144],"composite":[97],"applying":[100],"work;":[108],"(2)":[110],"compositionally,":[111],"fixed-point":[116],"construction":[117],"similarto":[118],"that":[119,171,187,196],"from":[123],"individual":[128],"network.":[132],"The":[133,157,213],"direct":[134,181],"closely":[136],"corresponds":[137],"operational":[140],"(i.":[145],"it":[147,166],"iscorrect)":[148],"but":[149],"very":[150],"difficult":[151],"concrete":[155,163],"networks.":[156],"compositional":[158,173],"enablescompositional":[160],"analysis":[161],"networks,":[164],"assuming":[165],"is":[167,175,205,234],"correct.":[168],"prove":[170],"safe":[177],"approximation":[178],"semantics.":[182],"Wealso":[183],"method":[186],"can":[188],"be":[189],"many":[192],"cases":[193],"establish":[195],"fully":[200],"coincide,":[201],"safety":[204],"not":[206],"achieved":[207],"inactivity":[209],"or":[210],"meaningless":[211],"answers.":[212],"results":[214],"are":[215],"extended":[216],"cover":[218],"recursively-defined":[219],"infinite":[220],"well":[223],"nested":[225],"finitenetworks.":[226],"A":[227],"robust":[228],"prototype":[229],"implementation":[230],"model":[233],"available.":[235]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2026-03-25T23:56:10.502304","created_date":"2025-10-10T00:00:00"}