{"id":"https://openalex.org/W2533701245","doi":"https://doi.org/10.1007/978-3-540-68265-3_7","title":"From Flow Logic to Static Type Systems for Coordination Languages","display_name":"From Flow Logic to Static Type Systems for Coordination Languages","publication_year":2008,"publication_date":"2008-01-01","ids":{"openalex":"https://openalex.org/W2533701245","doi":"https://doi.org/10.1007/978-3-540-68265-3_7","mag":"2533701245"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-540-68265-3_7","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-68265-3_7","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"conference-paper","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/A5016732227","display_name":"Rocco De Nicola","orcid":"https://orcid.org/0000-0003-4691-7570"},"institutions":[{"id":"https://openalex.org/I45084792","display_name":"University of Florence","ror":"https://ror.org/04jr1s763","country_code":"IT","type":"education","lineage":["https://openalex.org/I45084792"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Rocco De Nicola","raw_affiliation_strings":["Dip. Sistemi e Informatica, Univ. di Firenze,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dip. Sistemi e Informatica, Univ. di Firenze,","institution_ids":["https://openalex.org/I45084792"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070497799","display_name":"Daniele Gorla","orcid":"https://orcid.org/0000-0001-8859-9844"},"institutions":[{"id":"https://openalex.org/I861853513","display_name":"Sapienza University of Rome","ror":"https://ror.org/02be6w209","country_code":"IT","type":"education","lineage":["https://openalex.org/I861853513"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Daniele Gorla","raw_affiliation_strings":["Dip. Informatica, Univ. di Roma \u201cLa Sapienza\u201d,","Dip. Informatica, Univ. di Roma \"La Sapienza\","],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dip. Informatica, Univ. di Roma \u201cLa Sapienza\u201d,","institution_ids":["https://openalex.org/I861853513"]},{"raw_affiliation_string":"Dip. Informatica, Univ. di Roma \"La Sapienza\",","institution_ids":["https://openalex.org/I861853513"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051122243","display_name":"Ren\u00e9 Rydhof Hansen","orcid":"https://orcid.org/0000-0002-5688-6432"},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Ren\u00e9 Rydhof Hansen","raw_affiliation_strings":["Department of Computer Science, Aalborg University,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Aalborg University,","institution_ids":["https://openalex.org/I891191580"]}]},{"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":["Informatics and Mathematical Modelling, Technical University of Denmark,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Informatics and Mathematical Modelling, Technical University of Denmark,","institution_ids":["https://openalex.org/I96673099"]}]},{"author_position":"middle","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":["Informatics and Mathematical Modelling, Technical University of Denmark,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Informatics and Mathematical Modelling, Technical University of Denmark,","institution_ids":["https://openalex.org/I96673099"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060462301","display_name":"Christian W. Probst","orcid":"https://orcid.org/0000-0001-5089-9155"},"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":"Christian W. Probst","raw_affiliation_strings":["Informatics and Mathematical Modelling, Technical University of Denmark,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Informatics and Mathematical Modelling, Technical University of Denmark,","institution_ids":["https://openalex.org/I96673099"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5066761763","display_name":"Rosario Pugliese","orcid":"https://orcid.org/0000-0002-1419-1405"},"institutions":[{"id":"https://openalex.org/I45084792","display_name":"University of Florence","ror":"https://ror.org/04jr1s763","country_code":"IT","type":"education","lineage":["https://openalex.org/I45084792"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Rosario Pugliese","raw_affiliation_strings":["Dip. Sistemi e Informatica, Univ. di Firenze,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dip. Sistemi e Informatica, Univ. di Firenze,","institution_ids":["https://openalex.org/I45084792"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.7552,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.72137199,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"100","last_page":"116"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9998000264167786,"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/T11424","display_name":"Security and Verification in Computing","score":0.9991999864578247,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9961000084877014,"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.8360403776168823},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.806859016418457},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6693521738052368},{"id":"https://openalex.org/keywords/tuple","display_name":"Tuple","score":0.5138678550720215},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.46246451139450073},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4611295759677887},{"id":"https://openalex.org/keywords/type-theory","display_name":"Type theory","score":0.45930609107017517},{"id":"https://openalex.org/keywords/tuple-space","display_name":"Tuple space","score":0.4524551331996918},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.4300781488418579},{"id":"https://openalex.org/keywords/abstract-interpretation","display_name":"Abstract interpretation","score":0.41541731357574463},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.4105868935585022},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.07481399178504944}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8360403776168823},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.806859016418457},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6693521738052368},{"id":"https://openalex.org/C118930307","wikidata":"https://www.wikidata.org/wiki/Q600590","display_name":"Tuple","level":2,"score":0.5138678550720215},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.46246451139450073},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4611295759677887},{"id":"https://openalex.org/C93682546","wikidata":"https://www.wikidata.org/wiki/Q1056428","display_name":"Type theory","level":3,"score":0.45930609107017517},{"id":"https://openalex.org/C56800130","wikidata":"https://www.wikidata.org/wiki/Q1684164","display_name":"Tuple space","level":3,"score":0.4524551331996918},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.4300781488418579},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.41541731357574463},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.4105868935585022},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.07481399178504944},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","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}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/978-3-540-68265-3_7","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-68265-3_7","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:flore.unifi.it:2158/333616","is_oa":false,"landing_page_url":"http://hdl.handle.net/2158/333616","pdf_url":null,"source":{"id":"https://openalex.org/S4306402033","display_name":"Florence Research (University of Florence)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I45084792","host_organization_name":"University of Florence","host_organization_lineage":["https://openalex.org/I45084792"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/bookPart"},{"id":"pmh:oai:iris.uniroma1.it:11573/56007","is_oa":false,"landing_page_url":"http://hdl.handle.net/11573/56007","pdf_url":null,"source":{"id":"https://openalex.org/S4377196107","display_name":"IRIS Research product catalog (Sapienza University of Rome)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:pure.atira.dk:publications/68b132c0-dafc-11dd-a016-000ea68e967b","is_oa":false,"landing_page_url":"https://vbn.aau.dk/da/publications/68b132c0-dafc-11dd-a016-000ea68e967b","pdf_url":null,"source":{"id":"https://openalex.org/S4306401731","display_name":"VBN Forskningsportal (Aalborg Universitet)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I891191580","host_organization_name":"Aalborg University","host_organization_lineage":["https://openalex.org/I891191580"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"De Nicola, R, Gorla, D, Hansen, R R, Nielson, F, Nielson, H R, Probst, C W & Pugliese, R 2008, From Flow Logic to Static Type Systems for Coordination Languages. in Proceedings of the 10th International Conference on Coordination Models and Languages (Coordination'08). Springer, Lecture Notes in Computer Science, no. 5052, pp. 100-116, International Conference on Coordination Models and Languages (Coordination'08), Osle, Norway, 04/06/2008. https://doi.org/10.1007/978-3-540-68265-3_7","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W63801295","https://openalex.org/W1496712790","https://openalex.org/W1553894716","https://openalex.org/W1586636845","https://openalex.org/W2006138892","https://openalex.org/W2152276415","https://openalex.org/W2156688573","https://openalex.org/W2161307885","https://openalex.org/W2161353020","https://openalex.org/W2492745848"],"related_works":["https://openalex.org/W2801510041","https://openalex.org/W2503901328","https://openalex.org/W181867345","https://openalex.org/W2005818379","https://openalex.org/W1850895539","https://openalex.org/W174833201","https://openalex.org/W2156798910","https://openalex.org/W3169301243","https://openalex.org/W1494920333","https://openalex.org/W2054999976"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-08-04T08:18:43.703281","created_date":"2025-10-10T00:00:00"}