{"id":"https://openalex.org/W2067359684","doi":"https://doi.org/10.1016/s1571-0661(05)01155-2","title":"Occurrence Counting Analysis for the \u03c0-calculus","display_name":"Occurrence Counting Analysis for the \u03c0-calculus","publication_year":2000,"publication_date":"2000-01-01","ids":{"openalex":"https://openalex.org/W2067359684","doi":"https://doi.org/10.1016/s1571-0661(05)01155-2","mag":"2067359684"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(05)01155-2","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)01155-2","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"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 Notes in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1016/s1571-0661(05)01155-2","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5085031854","display_name":"J\u00e9r\u00f4me Fer\u00eat","orcid":"https://orcid.org/0000-0002-2601-2785"},"institutions":[{"id":"https://openalex.org/I4210153303","display_name":"\u00c9cole Normale Sup\u00e9rieure d'Abidjan","ror":"https://ror.org/04xtpyw05","country_code":"CI","type":"education","lineage":["https://openalex.org/I4210153303"]},{"id":"https://openalex.org/I4210103330","display_name":"\u00c9cole Normale Sup\u00e9rieure","ror":"https://ror.org/01dp7jr64","country_code":"BI","type":"education","lineage":["https://openalex.org/I4210103330"]}],"countries":["BI","CI"],"is_corresponding":true,"raw_author_name":"J\u00e9r\u00f4me Feret","raw_affiliation_strings":["Laboratoire d'Informatique de l'\u00c9cole Normale Sup\u00e9rieure ENS-LIENS, 45, rue d'Ulm, 75230 PARIS c\u00e9dex 5, FRANCE"],"affiliations":[{"raw_affiliation_string":"Laboratoire d'Informatique de l'\u00c9cole Normale Sup\u00e9rieure ENS-LIENS, 45, rue d'Ulm, 75230 PARIS c\u00e9dex 5, FRANCE","institution_ids":["https://openalex.org/I4210103330","https://openalex.org/I4210153303"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5085031854"],"corresponding_institution_ids":["https://openalex.org/I4210103330","https://openalex.org/I4210153303"],"apc_list":null,"apc_paid":null,"fwci":2.5716,"has_fulltext":false,"cited_by_count":34,"citation_normalized_percentile":{"value":0.90774925,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"39","issue":"2","first_page":"1","last_page":"18"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998000264167786,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998000264167786,"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.9994000196456909,"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.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"}}],"keywords":[{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.7552037239074707},{"id":"https://openalex.org/keywords/mutual-exclusion","display_name":"Mutual exclusion","score":0.6955840587615967},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.6911112666130066},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6743148565292358},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.670009970664978},{"id":"https://openalex.org/keywords/abstract-interpretation","display_name":"Abstract interpretation","score":0.622931182384491},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5908068418502808},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5615083575248718},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.5409785509109497},{"id":"https://openalex.org/keywords/interpretation","display_name":"Interpretation (philosophy)","score":0.5185837745666504},{"id":"https://openalex.org/keywords/relational-calculus","display_name":"Relational calculus","score":0.4773010015487671},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.47250211238861084},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.36483216285705566},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2795255184173584},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.264771431684494},{"id":"https://openalex.org/keywords/relational-database","display_name":"Relational database","score":0.21914631128311157},{"id":"https://openalex.org/keywords/relational-model","display_name":"Relational model","score":0.20097577571868896},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.11751443147659302}],"concepts":[{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.7552037239074707},{"id":"https://openalex.org/C56348326","wikidata":"https://www.wikidata.org/wiki/Q1047554","display_name":"Mutual exclusion","level":2,"score":0.6955840587615967},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.6911112666130066},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6743148565292358},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.670009970664978},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.622931182384491},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5908068418502808},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5615083575248718},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.5409785509109497},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.5185837745666504},{"id":"https://openalex.org/C99436015","wikidata":"https://www.wikidata.org/wiki/Q1722436","display_name":"Relational calculus","level":4,"score":0.4773010015487671},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.47250211238861084},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.36483216285705566},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2795255184173584},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.264771431684494},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.21914631128311157},{"id":"https://openalex.org/C40207289","wikidata":"https://www.wikidata.org/wiki/Q755662","display_name":"Relational model","level":3,"score":0.20097577571868896},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.11751443147659302},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1016/s1571-0661(05)01155-2","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)01155-2","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"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 Notes in Theoretical Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:HAL:inria-00527933v1","is_oa":true,"landing_page_url":"https://inria.hal.science/inria-00527933","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"GEometry and Topology in COncurrency theory (Satellite Workshop from CONCUR 2000), Eric Goubault, Aug 2000, University Park, United States. pp.1--18, ⟨10.1016/S1571-0661(05)01155-2⟩","raw_type":"Conference papers"}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(05)01155-2","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)01155-2","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"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 Notes in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.8199999928474426,"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W49331338","https://openalex.org/W1485733778","https://openalex.org/W1487452427","https://openalex.org/W1507802114","https://openalex.org/W1523525039","https://openalex.org/W1568478782","https://openalex.org/W1586774579","https://openalex.org/W1753535896","https://openalex.org/W1819673294","https://openalex.org/W1975791434","https://openalex.org/W1984342415","https://openalex.org/W2014764321","https://openalex.org/W2025554746","https://openalex.org/W2031373197","https://openalex.org/W2043100293","https://openalex.org/W2055378322","https://openalex.org/W2066150275","https://openalex.org/W2075283981","https://openalex.org/W2084875723","https://openalex.org/W2128932399","https://openalex.org/W2132661148","https://openalex.org/W2481588761","https://openalex.org/W2621839806","https://openalex.org/W6602005384","https://openalex.org/W6629041044","https://openalex.org/W6631038096","https://openalex.org/W6631978205","https://openalex.org/W6634022535","https://openalex.org/W6634975750","https://openalex.org/W6638614791","https://openalex.org/W6644224310","https://openalex.org/W6654274688","https://openalex.org/W6679695409","https://openalex.org/W6721439124"],"related_works":["https://openalex.org/W2098962004","https://openalex.org/W3177169335","https://openalex.org/W2074638034","https://openalex.org/W1513061978","https://openalex.org/W1995638504","https://openalex.org/W3149732360","https://openalex.org/W1550912436","https://openalex.org/W2970480852","https://openalex.org/W2151786888","https://openalex.org/W4312991606"],"abstract_inverted_index":{"We":[0,16,39,67],"propose":[1],"an":[2,72],"abstract":[3,68],"interpretation-based":[4],"analysis":[5],"for":[6,44,81],"automatically":[7],"proving":[8],"non-trivial":[9],"properties":[10,19,94],"of":[11,14,24,26,37,54,77,85,101],"mobile":[12],"systems":[13],"processes.":[15],"focus":[17],"on":[18,21],"relying":[20],"the":[22,45,52,83],"number":[23],"occurrences":[25,84],"processes":[27,86],"during":[28],"computation":[29,117],"sequences,":[30],"such":[31,95],"as":[32,96],"mutual":[33,97],"exclusion":[34,98],"and":[35,56,64,92,99],"non-exhaustion":[36,100],"resources.":[38,102],"design":[40],"a":[41,78],"non-standard":[42],"semantics":[43,70],"\u03c0-calculus":[46],"in":[47],"order":[48],"to":[49,57,89,109],"explicitly":[50],"trace":[51],"origin":[53],"channels":[55],"solve":[58],"efficiently":[59,93],"problems":[60],"set":[61],"by":[62,113],"\u03b1-conversion":[63],"non-deterministic":[65],"choices.":[66],"this":[69],"into":[71],"approximate":[73],"one.":[74],"The":[75],"use":[76],"relational":[79],"domain":[80],"counting":[82],"allows":[87,107],"us":[88,108],"prove":[90],"quickly":[91],"At":[103],"last,":[104],"dynamic":[105],"partitioning":[106],"detect":[110],"some":[111],"configurations":[112],"which":[114],"no":[115],"infinite":[116],"sequences":[118],"can":[119],"pass.":[120]},"counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":3}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}