{"id":"https://openalex.org/W1979697722","doi":"https://doi.org/10.4204/eptcs.19.7","title":"Types for BioAmbients","display_name":"Types for BioAmbients","publication_year":2010,"publication_date":"2010-02-23","ids":{"openalex":"https://openalex.org/W1979697722","doi":"https://doi.org/10.4204/eptcs.19.7","mag":"1979697722"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":null,"pdf_url":"https://arxiv.org/pdf/1002.4066","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":["Cornell University"],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"journal-article","indexed_in":["arxiv","crossref","datacite","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://arxiv.org/pdf/1002.4066","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5022120276","display_name":"Sara Capecchi","orcid":"https://orcid.org/0000-0001-6157-2932"},"institutions":[{"id":"https://openalex.org/I55143463","display_name":"University of Turin","ror":"https://ror.org/048tbm396","country_code":"IT","type":"education","lineage":["https://openalex.org/I55143463"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Sara Capecchi","raw_affiliation_strings":["[Dipartimento di Informatica, Universita di Torino]"],"affiliations":[{"raw_affiliation_string":"[Dipartimento di Informatica, Universita di Torino]","institution_ids":["https://openalex.org/I55143463"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5047668180","display_name":"Angelo Troina","orcid":"https://orcid.org/0000-0002-0049-4237"},"institutions":[{"id":"https://openalex.org/I55143463","display_name":"University of Turin","ror":"https://ror.org/048tbm396","country_code":"IT","type":"education","lineage":["https://openalex.org/I55143463"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Angelo Troina","raw_affiliation_strings":["[Dipartimento di Informatica, Universita di Torino]"],"affiliations":[{"raw_affiliation_string":"[Dipartimento di Informatica, Universita di Torino]","institution_ids":["https://openalex.org/I55143463"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":0,"currency":"USD","value_usd":0,"provenance":"doaj"},"apc_paid":null,"fwci":0.666,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":5,"citation_normalized_percentile":{"value":0.522913,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":79,"max":81},"biblio":{"volume":"19","issue":null,"first_page":"103","last_page":"115"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T12029","display_name":"DNA and Biological Computing","score":0.9934,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},"topics":[{"id":"https://openalex.org/T12029","display_name":"DNA and Biological Computing","score":0.9934,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":0.9934,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9886,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.7334449},{"id":"https://openalex.org/keywords/dependent-type","display_name":"Dependent type","score":0.46771756},{"id":"https://openalex.org/keywords/data-type","display_name":"Data type","score":0.42352486},{"id":"https://openalex.org/keywords/pi-calculus","display_name":"Pi calculus","score":0.42283672},{"id":"https://openalex.org/keywords/compartmentalization","display_name":"Compartmentalization (fire protection)","score":0.41619104}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7385932},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.7334449},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.6066184},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.5782821},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5713878},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.54473066},{"id":"https://openalex.org/C31170391","wikidata":"https://www.wikidata.org/wiki/Q188619","display_name":"Hierarchy","level":2,"score":0.54364014},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5400572},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.49991393},{"id":"https://openalex.org/C20528804","wikidata":"https://www.wikidata.org/wiki/Q997433","display_name":"Dependent type","level":3,"score":0.46771756},{"id":"https://openalex.org/C138958017","wikidata":"https://www.wikidata.org/wiki/Q190087","display_name":"Data type","level":2,"score":0.42352486},{"id":"https://openalex.org/C2984882572","wikidata":"https://www.wikidata.org/wiki/Q602886","display_name":"Pi calculus","level":2,"score":0.42283672},{"id":"https://openalex.org/C110455231","wikidata":"https://www.wikidata.org/wiki/Q897788","display_name":"Compartmentalization (fire protection)","level":3,"score":0.41619104},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.32275778},{"id":"https://openalex.org/C135790938","wikidata":"https://www.wikidata.org/wiki/Q242028","display_name":"Lambda calculus","level":2,"score":0.20578972},{"id":"https://openalex.org/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","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/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C181199279","wikidata":"https://www.wikidata.org/wiki/Q8047","display_name":"Enzyme","level":2,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"is_oa":true,"landing_page_url":null,"pdf_url":"https://arxiv.org/pdf/1002.4066","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":["Cornell University"],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true},{"is_oa":true,"landing_page_url":"http://arxiv.org/abs/1002.4066","pdf_url":"http://arxiv.org/pdf/1002.4066","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":["Cornell University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":false,"landing_page_url":"https://doaj.org/article/08befa971d2541c4b011bfbbcd768b53","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":true,"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":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://www.openaccessrepository.it/record/129025","pdf_url":"https://www.openaccessrepository.it/record/129025/files/fulltext.pdf","source":{"id":"https://openalex.org/S4306402478","display_name":"INFM-OAR (INFN Catania)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210116497","host_organization_name":"Istituto Nazionale di Fisica Nucleare, Sezione di Catania","host_organization_lineage":["https://openalex.org/I4210116497"],"host_organization_lineage_names":["Istituto Nazionale di Fisica Nucleare, Sezione di Catania"],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":false,"landing_page_url":"https://api.datacite.org/dois/10.48550/arxiv.1002.4066","pdf_url":null,"source":{"id":"https://openalex.org/S4393179698","display_name":"DataCite API","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210145204","host_organization_name":"DataCite","host_organization_lineage":["https://openalex.org/I4210145204"],"host_organization_lineage_names":["DataCite"],"type":"metadata"},"license":null,"license_id":null,"version":null}],"best_oa_location":{"is_oa":true,"landing_page_url":null,"pdf_url":"https://arxiv.org/pdf/1002.4066","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":["Cornell University"],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":["https://openalex.org/W1979697722","https://openalex.org/W3142851924"],"referenced_works_count":25,"referenced_works":["https://openalex.org/W1487906584","https://openalex.org/W1511823635","https://openalex.org/W1535220465","https://openalex.org/W1537348057","https://openalex.org/W1566543749","https://openalex.org/W1572091553","https://openalex.org/W1595516773","https://openalex.org/W1603722452","https://openalex.org/W1863623968","https://openalex.org/W1934319200","https://openalex.org/W1975954590","https://openalex.org/W1980209984","https://openalex.org/W2074916974","https://openalex.org/W2091667373","https://openalex.org/W2106190666","https://openalex.org/W2113997157","https://openalex.org/W2116082125","https://openalex.org/W2122529434","https://openalex.org/W2177556447","https://openalex.org/W2270731599","https://openalex.org/W2481588761","https://openalex.org/W2912003593","https://openalex.org/W291482096","https://openalex.org/W3143469549","https://openalex.org/W3151002326"],"related_works":["https://openalex.org/W2610134858","https://openalex.org/W2381735521","https://openalex.org/W2370672400","https://openalex.org/W2346414977","https://openalex.org/W2166575037","https://openalex.org/W2163278217","https://openalex.org/W2158162924","https://openalex.org/W2133915418","https://openalex.org/W2107459132","https://openalex.org/W1483205556"],"abstract_inverted_index":{"The":[0,46],"BioAmbients":[1,82],"calculus":[2,23],"is":[3],"a":[4,25,52,60,117],"process":[5],"algebra":[6],"suitable":[7],"for":[8],"representing":[9],"compartmentalization,":[10],"molecular":[11],"localization":[12],"and":[13,109,120],"movements":[14],"between":[15],"compartments.":[16],"In":[17],"this":[18,22],"paper":[19],"we":[20,75],"enrich":[21],"with":[24,32,83],"static":[26],"type":[27,47,65],"system":[28,48],"classifying":[29],"each":[30],"ambient":[31,43],"group":[33,73],"types":[34],"specifying":[35],"the":[36,42,64,68,72,78,99,105,128],"kind":[37],"of":[38,81,101],"compartments":[39],"in":[40,51,59,116],"which":[41],"can":[44,103],"stay.":[45],"ensures":[49],"that,":[50],"well-typed":[53],"process,":[54],"ambients":[55],"cannot":[56],"be":[57],"nested":[58],"way":[61],"that":[62,87,113],"violates":[63],"hierarchy.":[66],"Exploiting":[67],"information":[69],"given":[70],"by":[71],"types,":[74],"also":[76],"extend":[77],"operational":[79],"semantics":[80],"rules":[84],"signalling":[85],"errors":[86,102],"may":[88,114],"derive":[89],"from":[90],"undesired":[91,129],"ambients'":[92],"moves":[93],"(i.e.":[94],"merging":[95],"incompatible":[96],"tissues).":[97],"Thus,":[98],"signal":[100],"help":[104],"modeller":[106],"to":[107,126],"detect":[108],"locate":[110],"unwanted":[111],"situations":[112],"arise":[115],"biological":[118],"system,":[119],"give":[121],"practical":[122],"hints":[123],"on":[124],"how":[125],"avoid":[127],"behaviour.":[130]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W1979697722","counts_by_year":[{"year":2013,"cited_by_count":1}],"updated_date":"2024-12-11T23:43:25.445370","created_date":"2016-06-24"}