{"id":"https://openalex.org/W2013121543","doi":"https://doi.org/10.4204/eptcs.41.2","title":"A criterion for separating process calculi","display_name":"A criterion for separating process calculi","publication_year":2010,"publication_date":"2010-11-28","ids":{"openalex":"https://openalex.org/W2013121543","doi":"https://doi.org/10.4204/eptcs.41.2","mag":"2013121543"},"language":"en","primary_location":{"id":"doi:10.4204/eptcs.41.2","is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.41.2","pdf_url":"https://arxiv.org/pdf/1011.6430","source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://arxiv.org/pdf/1011.6430","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Federico Banti","orcid":null},"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":"Federico Banti","raw_affiliation_strings":["Dipartimento di Sistemi e Informatica, Universit\u00e0 degli Studi di Firenze"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Sistemi e Informatica, Universit\u00e0 degli Studi di Firenze","institution_ids":["https://openalex.org/I45084792"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Rosario Pugliese","orcid":null},"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":["Dipartimento di Sistemi e Informatica, Universit\u00e0 degli Studi di Firenze"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Sistemi e Informatica, Universit\u00e0 degli Studi di Firenze","institution_ids":["https://openalex.org/I45084792"]}]},{"author_position":"last","author":{"id":null,"display_name":"Francesco Tiezzi","orcid":null},"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":"Francesco Tiezzi","raw_affiliation_strings":["Dipartimento di Sistemi e Informatica, Universit\u00e0 degli Studi di Firenze"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Sistemi e Informatica, Universit\u00e0 degli Studi di Firenze","institution_ids":["https://openalex.org/I45084792"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I45084792"],"apc_list":null,"apc_paid":null,"fwci":0.9184,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.80068699,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"41","issue":null,"first_page":"16","last_page":"30"},"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.6963000297546387,"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.6963000297546387,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.14249999821186066,"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/T10142","display_name":"Formal Methods in Verification","score":0.09740000218153,"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","display_name":"Process (computing)","score":0.6310999989509583},{"id":"https://openalex.org/keywords/encoding","display_name":"Encoding (memory)","score":0.5625},{"id":"https://openalex.org/keywords/synchronization","display_name":"Synchronization (alternating current)","score":0.51419997215271},{"id":"https://openalex.org/keywords/action","display_name":"Action (physics)","score":0.48660001158714294},{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.48399999737739563},{"id":"https://openalex.org/keywords/matching","display_name":"Matching (statistics)","score":0.48339998722076416}],"concepts":[{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.6310999989509583},{"id":"https://openalex.org/C125411270","wikidata":"https://www.wikidata.org/wiki/Q18653","display_name":"Encoding (memory)","level":2,"score":0.5625},{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.51419997215271},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.48820000886917114},{"id":"https://openalex.org/C2780791683","wikidata":"https://www.wikidata.org/wiki/Q846785","display_name":"Action (physics)","level":2,"score":0.48660001158714294},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.48399999737739563},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.48339998722076416},{"id":"https://openalex.org/C66746571","wikidata":"https://www.wikidata.org/wiki/Q1134833","display_name":"ENCODE","level":3,"score":0.4652999937534332},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.4472000002861023},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4325999915599823},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.32749998569488525},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3158000111579895},{"id":"https://openalex.org/C136979486","wikidata":"https://www.wikidata.org/wiki/Q773483","display_name":"Existential quantification","level":2,"score":0.31060001254081726}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.4204/eptcs.41.2","is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.41.2","pdf_url":"https://arxiv.org/pdf/1011.6430","source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1011.6430","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1011.6430","pdf_url":"https://arxiv.org/pdf/1011.6430","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":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:doaj.org/article:257e0cbb1c89455a8e34898b0efa4abc","is_oa":true,"landing_page_url":"https://doaj.org/article/257e0cbb1c89455a8e34898b0efa4abc","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":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":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science, Vol 41, Iss Proc. EXPRESS 2010, Pp 16-30 (2010)","raw_type":"article"},{"id":"pmh:oai:flore.unifi.it:2158/593155","is_oa":false,"landing_page_url":"http://hdl.handle.net/2158/593155","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/article"},{"id":"pmh:oai:pubblicazioni.unicam.it:11581/362816","is_oa":false,"landing_page_url":"http://hdl.handle.net/11581/362816","pdf_url":null,"source":{"id":"https://openalex.org/S4306400819","display_name":"Unicam Scientific Publications (University of Camerino)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I112859197","host_organization_name":"Universit\u00e0 di Camerino","host_organization_lineage":["https://openalex.org/I112859197"],"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/article"}],"best_oa_location":{"id":"doi:10.4204/eptcs.41.2","is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.41.2","pdf_url":"https://arxiv.org/pdf/1011.6430","source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2013121543.pdf","grobid_xml":"https://content.openalex.org/works/W2013121543.grobid-xml"},"referenced_works_count":31,"referenced_works":["https://openalex.org/W202252014","https://openalex.org/W1487583155","https://openalex.org/W1514757685","https://openalex.org/W1521604752","https://openalex.org/W1545930210","https://openalex.org/W1546588682","https://openalex.org/W1594682236","https://openalex.org/W1965087609","https://openalex.org/W1968539782","https://openalex.org/W1979323524","https://openalex.org/W1997300890","https://openalex.org/W2013121543","https://openalex.org/W2028222735","https://openalex.org/W2028448192","https://openalex.org/W2029133311","https://openalex.org/W2075040560","https://openalex.org/W2088886977","https://openalex.org/W2098083416","https://openalex.org/W2128932399","https://openalex.org/W2137250214","https://openalex.org/W2140231005","https://openalex.org/W2163319710","https://openalex.org/W2170052897","https://openalex.org/W2570848368","https://openalex.org/W2571430288","https://openalex.org/W2912003593","https://openalex.org/W6604518417","https://openalex.org/W6634535250","https://openalex.org/W6655844636","https://openalex.org/W6672957392","https://openalex.org/W6683806262"],"related_works":[],"abstract_inverted_index":{"We":[0,53,77,161],"introduce":[1],"a":[2,16,28,50,65,80,113,119,125],"new":[3],"criterion,":[4],"replacement":[5,20,68,74,84,89,115,121,141,159,180],"freeness,":[6,85],"to":[7,48,102,111],"discern":[8],"the":[9,42,45,100],"relative":[10],"expressiveness":[11],"of":[12,44,64,83,90,127,166],"process":[13,29,39,47,188],"calculi.":[14,195],"Intuitively,":[15],"calculus":[17,70,117],"is":[18,107],"strongly":[19,67,73,158],"free":[21,69,75,116,122,142],"if":[22,96],"replacing,":[23],"within":[24],"an":[25,37],"enclosing":[26],"context,":[27],"that":[30,55,133,155,164],"cannot":[31],"perform":[32,49],"any":[33,72],"visible":[34,51],"action":[35],"by":[36,86],"arbitrary":[38],"never":[40],"inhibits":[41],"capability":[43],"resulting":[46],"action.":[52],"prove":[54,94,163],"there":[56],"exists":[57],"no":[58],"compositional":[59],"and":[60,93,143,153,192],"interaction":[61],"sensitive":[62],"encoding":[63,101],"not":[66,108,140,146],"into":[71,118,148],"one.":[76,123],"then":[78],"define":[79],"weaker":[81],"version":[82],"only":[87,178],"considering":[88],"closed":[91],"processes,":[92],"that,":[95],"we":[97,131],"additionally":[98],"require":[99],"preserve":[103],"name":[104],"independence,":[105],"it":[106],"even":[109],"possible":[110],"encode":[112],"non":[114],"weakly":[120,179],"As":[124],"consequence":[126],"our":[128],"encodability":[129],"results,":[130],"get":[132],"many":[134],"calculi":[135,150,189],"equipped":[136],"with":[137,168,190],"priority":[138,191],"are":[139,145,157,177,184],"hence":[144,182],"encodable":[147],"mainstream":[149,194],"like":[151],"CCS":[152],"pi-calculus,":[154],"instead":[156],"free.":[160],"also":[162],"variants":[165],"pi-calculus":[167],"match":[169],"among":[170],"names,":[171],"pattern":[172],"matching":[173],"or":[174],"polyadic":[175],"synchronization":[176],"free,":[181],"they":[183],"separated":[185],"both":[186],"from":[187,193]},"counts_by_year":[{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}