{"id":"https://openalex.org/W2024677950","doi":"https://doi.org/10.1145/2071389.2071392","title":"Flow Logic for Process Calculi","display_name":"Flow Logic for Process Calculi","publication_year":2012,"publication_date":"2012-01-01","ids":{"openalex":"https://openalex.org/W2024677950","doi":"https://doi.org/10.1145/2071389.2071392","mag":"2024677950"},"language":"en","primary_location":{"id":"doi:10.1145/2071389.2071392","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2071389.2071392","pdf_url":"https://dl.acm.org/action/downloadSupplement?doi=10.1145%2F2071389.2071392&file=a3-nielson_appendix.pdf","source":{"id":"https://openalex.org/S157921468","display_name":"ACM Computing Surveys","issn_l":"0360-0300","issn":["0360-0300","1557-7341"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Computing Surveys","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/action/downloadSupplement?doi=10.1145%2F2071389.2071392&file=a3-nielson_appendix.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5012948241","display_name":"Hanne Riis Nielson","orcid":"https://orcid.org/0000-0002-2484-5580"},"institutions":[{"id":"https://openalex.org/I96673099","display_name":"Technical University of Denmark","ror":"https://ror.org/04qtj9h94","country_code":"DK","type":"education","lineage":["https://openalex.org/I96673099"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Hanne Riis Nielson","raw_affiliation_strings":["The Technical University of Denmark","THE TECHNICAL UNIVERSITY OF DENMARK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The Technical University of Denmark","institution_ids":["https://openalex.org/I96673099"]},{"raw_affiliation_string":"THE TECHNICAL UNIVERSITY OF DENMARK","institution_ids":["https://openalex.org/I96673099"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089639449","display_name":"Flemming Nielson","orcid":"https://orcid.org/0000-0001-7362-6176"},"institutions":[{"id":"https://openalex.org/I96673099","display_name":"Technical University of Denmark","ror":"https://ror.org/04qtj9h94","country_code":"DK","type":"education","lineage":["https://openalex.org/I96673099"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Flemming Nielson","raw_affiliation_strings":["The Technical University of Denmark","THE TECHNICAL UNIVERSITY OF DENMARK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The Technical University of Denmark","institution_ids":["https://openalex.org/I96673099"]},{"raw_affiliation_string":"THE TECHNICAL UNIVERSITY OF DENMARK","institution_ids":["https://openalex.org/I96673099"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5083158970","display_name":"Henrik Pilegaard","orcid":null},"institutions":[{"id":"https://openalex.org/I96673099","display_name":"Technical University of Denmark","ror":"https://ror.org/04qtj9h94","country_code":"DK","type":"education","lineage":["https://openalex.org/I96673099"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Henrik Pilegaard","raw_affiliation_strings":["The Technical University of Denmark","THE TECHNICAL UNIVERSITY OF DENMARK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The Technical University of Denmark","institution_ids":["https://openalex.org/I96673099"]},{"raw_affiliation_string":"THE TECHNICAL UNIVERSITY OF DENMARK","institution_ids":["https://openalex.org/I96673099"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I96673099"],"apc_list":null,"apc_paid":null,"fwci":2.3176,"has_fulltext":true,"cited_by_count":11,"citation_normalized_percentile":{"value":0.88455224,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"44","issue":"1","first_page":"1","last_page":"39"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9936000108718872,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9936000108718872,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9904000163078308,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.9890999794006348,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8261218667030334},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5530117154121399},{"id":"https://openalex.org/keywords/flow","display_name":"Flow (mathematics)","score":0.46735572814941406},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.46429309248924255},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.342741459608078},{"id":"https://openalex.org/keywords/mechanics","display_name":"Mechanics","score":0.11046317219734192},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.09898939728736877}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8261218667030334},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5530117154121399},{"id":"https://openalex.org/C38349280","wikidata":"https://www.wikidata.org/wiki/Q1434290","display_name":"Flow (mathematics)","level":2,"score":0.46735572814941406},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.46429309248924255},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.342741459608078},{"id":"https://openalex.org/C57879066","wikidata":"https://www.wikidata.org/wiki/Q41217","display_name":"Mechanics","level":1,"score":0.11046317219734192},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.09898939728736877},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/2071389.2071392","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2071389.2071392","pdf_url":"https://dl.acm.org/action/downloadSupplement?doi=10.1145%2F2071389.2071392&file=a3-nielson_appendix.pdf","source":{"id":"https://openalex.org/S157921468","display_name":"ACM Computing Surveys","issn_l":"0360-0300","issn":["0360-0300","1557-7341"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Computing Surveys","raw_type":"journal-article"},{"id":"pmh:oai:pure.atira.dk:publications/0f87460e-eb7a-4f8d-9efa-3d7c7ea2983b","is_oa":false,"landing_page_url":"https://orbit.dtu.dk/en/publications/0f87460e-eb7a-4f8d-9efa-3d7c7ea2983b","pdf_url":null,"source":{"id":"https://openalex.org/S4306400705","display_name":"Technical University of Denmark, DTU Orbit (Technical University of Denmark, DTU)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I96673099","host_organization_name":"Technical University of Denmark","host_organization_lineage":["https://openalex.org/I96673099"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Nielson , H R , Nielson , F & Pilegaard , H 2012 , ' Flow Logic for Process Calculi ' , A C M Computing Surveys , vol. 44 , no. 1 , pp. Article No. 3 . https://doi.org/10.1145/2071389.2071392","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1145/2071389.2071392","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2071389.2071392","pdf_url":"https://dl.acm.org/action/downloadSupplement?doi=10.1145%2F2071389.2071392&file=a3-nielson_appendix.pdf","source":{"id":"https://openalex.org/S157921468","display_name":"ACM Computing Surveys","issn_l":"0360-0300","issn":["0360-0300","1557-7341"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Computing Surveys","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2024677950.pdf","grobid_xml":"https://content.openalex.org/works/W2024677950.grobid-xml"},"referenced_works_count":63,"referenced_works":["https://openalex.org/W1485733778","https://openalex.org/W1496131527","https://openalex.org/W1496815121","https://openalex.org/W1497022621","https://openalex.org/W1505891402","https://openalex.org/W1506611210","https://openalex.org/W1507446426","https://openalex.org/W1514244613","https://openalex.org/W1521217725","https://openalex.org/W1526751176","https://openalex.org/W1539043156","https://openalex.org/W1549245411","https://openalex.org/W1553894716","https://openalex.org/W1562901937","https://openalex.org/W1580490449","https://openalex.org/W1582292473","https://openalex.org/W1586636845","https://openalex.org/W1603799276","https://openalex.org/W1607244744","https://openalex.org/W1799317750","https://openalex.org/W1819673294","https://openalex.org/W1873855224","https://openalex.org/W1974152790","https://openalex.org/W1974416171","https://openalex.org/W1980209984","https://openalex.org/W1991354622","https://openalex.org/W1994676271","https://openalex.org/W2002622794","https://openalex.org/W2012380912","https://openalex.org/W2046213250","https://openalex.org/W2050411875","https://openalex.org/W2057085278","https://openalex.org/W2075283981","https://openalex.org/W2085809004","https://openalex.org/W2087663894","https://openalex.org/W2090266934","https://openalex.org/W2098830096","https://openalex.org/W2099005652","https://openalex.org/W2106190666","https://openalex.org/W2111353076","https://openalex.org/W2111619838","https://openalex.org/W2117966086","https://openalex.org/W2125138785","https://openalex.org/W2125659416","https://openalex.org/W2126825077","https://openalex.org/W2127008921","https://openalex.org/W2134732832","https://openalex.org/W2135653275","https://openalex.org/W2141624400","https://openalex.org/W2156688573","https://openalex.org/W2159839769","https://openalex.org/W2161353020","https://openalex.org/W2161609549","https://openalex.org/W2189180081","https://openalex.org/W2501924394","https://openalex.org/W2911711976","https://openalex.org/W2912003593","https://openalex.org/W3144176569","https://openalex.org/W3145549930","https://openalex.org/W4212790255","https://openalex.org/W4250199140","https://openalex.org/W4285719527","https://openalex.org/W6674727178"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Flow":[0,23,56,144],"Logic":[1,57,145],"is":[2,146],"an":[3,161,188],"approach":[4,54,169],"to":[5,112,120,139,194],"statically":[6],"determining":[7],"the":[8,31,53,74,80,85,114,122,150,165,168,191,198,207,210,217],"behavior":[9],"of":[10,38,52,55,65,79,87,167,176,190,197,209],"programs":[11],"and":[12,17,25,90,93,131,134,203],"processes.":[13],"It":[14],"borrows":[15],"methods":[16],"techniques":[18,193],"from":[19,170],"Abstract":[20],"Interpretation,":[21],"Data":[22],"Analysis":[24,28],"Constraint":[26],"Based":[27],"while":[29],"presenting":[30,164],"analysis":[32,72,123,192],"in":[33,216],"a":[34,49,63,70,94,100,140,147,154,174,195],"style":[35],"more":[36],"reminiscent":[37],"Type":[39],"Systems.":[40],"Traditionally":[41],"developed":[42],"for":[43,58,73],"programming":[44],"languages,":[45],"this":[46,77,171],"article":[47],"provides":[48],"tutorial":[50],"development":[51],"process":[59],"calculi":[60],"based":[61],"on":[62,110],"decade":[64],"research.":[66],"We":[67,116,158],"first":[68],"develop":[69],"simple":[71],"\u03c0":[75,199],"-calculus;":[76],"consists":[78],"specification,":[81],"semantic":[82],"soundness":[83],"(in":[84],"form":[86],"subject":[88],"reduction":[89],"adequacy":[91],"results),":[92],"Moore":[95],"Family":[96],"result":[97],"showing":[98],"that":[99,153],"least":[101],"solution":[102],"always":[103],"exists,":[104],"as":[105,107,179,181],"well":[106,180],"providing":[108],"insights":[109],"how":[111,119],"implement":[113],"analysis.":[115,142],"then":[117],"show":[118],"strengthen":[121],"technology":[124],"by":[125],"introducing":[126],"reachability":[127],"components,":[128],"interaction":[129],"points,":[130],"localized":[132],"environments,":[133],"finally,":[135],"we":[136],"extend":[137],"it":[138],"relational":[141],"A":[143],"program":[148],"logic---in":[149],"same":[151],"sense":[152],"Hoare\u2019s":[155],"logic":[156],"is.":[157],"conclude":[159],"with":[160],"executive":[162],"summary":[163],"highlights":[166],"perspective":[172],"including":[173],"discussion":[175],"theoretical":[177],"properties":[178],"implementation":[182],"considerations.":[183],"The":[184],"electronic":[185,218],"supplements":[186],"present":[187],"application":[189],"version":[196],"-calculus":[200],"incorporating":[201],"distribution":[202],"code":[204],"mobility;":[205],"also":[206],"proofs":[208],"main":[211],"results":[212],"can":[213],"be":[214],"found":[215],"supplements.":[219]},"counts_by_year":[{"year":2019,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-07-15T18:14:33.161393","created_date":"2025-10-10T00:00:00"}