{"id":"https://openalex.org/W3173869545","doi":"https://doi.org/10.1109/lics52264.2021.9470559","title":"On sequentiality and well-bracketing in the \u03c0-calculus","display_name":"On sequentiality and well-bracketing in the \u03c0-calculus","publication_year":2021,"publication_date":"2021-06-29","ids":{"openalex":"https://openalex.org/W3173869545","doi":"https://doi.org/10.1109/lics52264.2021.9470559","mag":"3173869545"},"language":"en","primary_location":{"id":"doi:10.1109/lics52264.2021.9470559","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lics52264.2021.9470559","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.science/hal-03203191v2/file/main.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5033874015","display_name":"Daniel Hirschkoff","orcid":"https://orcid.org/0000-0001-7425-2436"},"institutions":[{"id":"https://openalex.org/I113428412","display_name":"\u00c9cole Normale Sup\u00e9rieure de Lyon","ror":"https://ror.org/04zmssz18","country_code":"FR","type":"education","lineage":["https://openalex.org/I113428412","https://openalex.org/I203339264"]},{"id":"https://openalex.org/I4210144566","display_name":"Laboratoire de l'Informatique du Parall\u00e9lisme","ror":"https://ror.org/04msnz457","country_code":"FR","type":"facility","lineage":["https://openalex.org/I100532134","https://openalex.org/I113428412","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I203339264","https://openalex.org/I203339264","https://openalex.org/I4210144566"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Daniel Hirschkoff","raw_affiliation_strings":["ENS de Lyon","ENS de Lyon - \u00c9cole normale sup\u00e9rieure de Lyon (15 parvis Ren\u00e9 Descartes - BP 7000 - 69342 Lyon Cedex 07 - France)","LIP - Laboratoire de l'Informatique du Parall\u00e9lisme (46 All\u00e9e d'Italie 69364 LYON CEDEX 07 - France)","PLUME - Preuves et Langages (France)"],"affiliations":[{"raw_affiliation_string":"ENS de Lyon","institution_ids":["https://openalex.org/I113428412"]},{"raw_affiliation_string":"ENS de Lyon - \u00c9cole normale sup\u00e9rieure de Lyon (15 parvis Ren\u00e9 Descartes - BP 7000 - 69342 Lyon Cedex 07 - France)","institution_ids":["https://openalex.org/I113428412"]},{"raw_affiliation_string":"LIP - Laboratoire de l'Informatique du Parall\u00e9lisme (46 All\u00e9e d'Italie 69364 LYON CEDEX 07 - France)","institution_ids":["https://openalex.org/I4210144566","https://openalex.org/I113428412"]},{"raw_affiliation_string":"PLUME - Preuves et Langages (France)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061916294","display_name":"Enguerrand Prebet","orcid":"https://orcid.org/0009-0008-0160-5219"},"institutions":[{"id":"https://openalex.org/I113428412","display_name":"\u00c9cole Normale Sup\u00e9rieure de Lyon","ror":"https://ror.org/04zmssz18","country_code":"FR","type":"education","lineage":["https://openalex.org/I113428412","https://openalex.org/I203339264"]},{"id":"https://openalex.org/I4210144566","display_name":"Laboratoire de l'Informatique du Parall\u00e9lisme","ror":"https://ror.org/04msnz457","country_code":"FR","type":"facility","lineage":["https://openalex.org/I100532134","https://openalex.org/I113428412","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I203339264","https://openalex.org/I203339264","https://openalex.org/I4210144566"]},{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["FR","IT"],"is_corresponding":false,"raw_author_name":"Enguerrand Prebet","raw_affiliation_strings":["ENS de Lyon","PLUME - Preuves et Langages (France)","ENS de Lyon - \u00c9cole normale sup\u00e9rieure de Lyon (15 parvis Ren\u00e9 Descartes - BP 7000 - 69342 Lyon Cedex 07 - France)","FOCUS - Foundations of Component-based Ubiquitous Systems (Dipartimento di Informatica - Scienza e Ingegneria (DISI)\r\nUniversita' di Bologna\r\nMura Anteo Zamboni, 7\r\n40126 Bologna\r\nITALY - Italy)","LIP - Laboratoire de l'Informatique du Parall\u00e9lisme (46 All\u00e9e d'Italie 69364 LYON CEDEX 07 - France)"],"affiliations":[{"raw_affiliation_string":"ENS de Lyon","institution_ids":["https://openalex.org/I113428412"]},{"raw_affiliation_string":"PLUME - Preuves et Langages (France)","institution_ids":[]},{"raw_affiliation_string":"ENS de Lyon - \u00c9cole normale sup\u00e9rieure de Lyon (15 parvis Ren\u00e9 Descartes - BP 7000 - 69342 Lyon Cedex 07 - France)","institution_ids":["https://openalex.org/I113428412"]},{"raw_affiliation_string":"FOCUS - Foundations of Component-based Ubiquitous Systems (Dipartimento di Informatica - Scienza e Ingegneria (DISI)\r\nUniversita' di Bologna\r\nMura Anteo Zamboni, 7\r\n40126 Bologna\r\nITALY - Italy)","institution_ids":["https://openalex.org/I9360294"]},{"raw_affiliation_string":"LIP - Laboratoire de l'Informatique du Parall\u00e9lisme (46 All\u00e9e d'Italie 69364 LYON CEDEX 07 - France)","institution_ids":["https://openalex.org/I4210144566","https://openalex.org/I113428412"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5077030456","display_name":"Davide Sangiorgi","orcid":"https://orcid.org/0000-0001-5823-3235"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["FR","IT"],"is_corresponding":false,"raw_author_name":"Davide Sangiorgi","raw_affiliation_strings":["Universit\u00e0 di Bologna and INRIA","UNIBO - Alma Mater Studiorum Universit\u00e0 di Bologna = University of Bologna (Via Zamboni, 33 - 40126 Bologna - Italy)","FOCUS - Foundations of Component-based Ubiquitous Systems (Dipartimento di Informatica - Scienza e Ingegneria (DISI)\r\nUniversita' di Bologna\r\nMura Anteo Zamboni, 7\r\n40126 Bologna\r\nITALY - Italy)"],"affiliations":[{"raw_affiliation_string":"Universit\u00e0 di Bologna and INRIA","institution_ids":["https://openalex.org/I9360294","https://openalex.org/I1326498283"]},{"raw_affiliation_string":"UNIBO - Alma Mater Studiorum Universit\u00e0 di Bologna = University of Bologna (Via Zamboni, 33 - 40126 Bologna - Italy)","institution_ids":["https://openalex.org/I9360294"]},{"raw_affiliation_string":"FOCUS - Foundations of Component-based Ubiquitous Systems (Dipartimento di Informatica - Scienza e Ingegneria (DISI)\r\nUniversita' di Bologna\r\nMura Anteo Zamboni, 7\r\n40126 Bologna\r\nITALY - Italy)","institution_ids":["https://openalex.org/I9360294"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5033874015"],"corresponding_institution_ids":["https://openalex.org/I113428412","https://openalex.org/I4210144566"],"apc_list":null,"apc_paid":null,"fwci":0.4199,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.68796201,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":95},"biblio":{"volume":"167","issue":null,"first_page":"1","last_page":"13"},"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.9998999834060669,"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.9998999834060669,"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.9952999949455261,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9876000285148621,"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/bracketing","display_name":"Bracketing (phenomenology)","score":0.8564214706420898},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.7448533773422241},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6313605904579163},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.5541391968727112},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.5424597263336182},{"id":"https://openalex.org/keywords/observational-equivalence","display_name":"Observational equivalence","score":0.4718185365200043},{"id":"https://openalex.org/keywords/thread","display_name":"Thread (computing)","score":0.44701212644577026},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.42422422766685486},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.39132827520370483},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3003041744232178},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2987254858016968},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.1778755486011505},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.1474393606185913}],"concepts":[{"id":"https://openalex.org/C102944935","wikidata":"https://www.wikidata.org/wiki/Q4953701","display_name":"Bracketing (phenomenology)","level":2,"score":0.8564214706420898},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.7448533773422241},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6313605904579163},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.5541391968727112},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.5424597263336182},{"id":"https://openalex.org/C2777721189","wikidata":"https://www.wikidata.org/wiki/Q17121921","display_name":"Observational equivalence","level":2,"score":0.4718185365200043},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.44701212644577026},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.42422422766685486},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.39132827520370483},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3003041744232178},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2987254858016968},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.1778755486011505},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.1474393606185913},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"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/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1109/lics52264.2021.9470559","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lics52264.2021.9470559","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-03203191v2","is_oa":true,"landing_page_url":"https://hal.science/hal-03203191","pdf_url":"https://hal.science/hal-03203191v2/file/main.pdf","source":{"id":"https://openalex.org/S4406922461","display_name":"SPIRE - Sciences Po Institutional REpository","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":"LICS 2021 - 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2021, Rome, Italy. pp.1-13, ⟨10.1109/LICS52264.2021.9470559⟩","raw_type":"Conference papers"},{"id":"pmh:oai:HAL:hal-03203191v1","is_oa":true,"landing_page_url":"https://hal.archives-ouvertes.fr/hal-03203191","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://hal.archives-ouvertes.fr/hal-03203191","raw_type":"info:eu-repo/semantics/preprint"},{"id":"pmh:oai:cris.unibo.it:11585/851822","is_oa":true,"landing_page_url":"https://ieeexplore.ieee.org/xpl/conhome/9470497/proceeding","pdf_url":null,"source":{"id":"https://openalex.org/S4306402579","display_name":"Archivio istituzionale della ricerca (Alma Mater Studiorum Universit\u00e0 di Bologna)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210117483","host_organization_name":"Istituto di Ematologia di Bologna","host_organization_lineage":["https://openalex.org/I4210117483"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-03203191v2","is_oa":true,"landing_page_url":"https://hal.science/hal-03203191","pdf_url":"https://hal.science/hal-03203191v2/file/main.pdf","source":{"id":"https://openalex.org/S4406922461","display_name":"SPIRE - Sciences Po Institutional REpository","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":"LICS 2021 - 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2021, Rome, Italy. pp.1-13, ⟨10.1109/LICS52264.2021.9470559⟩","raw_type":"Conference papers"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities","score":0.6600000262260437}],"awards":[{"id":"https://openalex.org/G4416248437","display_name":null,"funder_award_id":"201784YSZ5_004","funder_id":"https://openalex.org/F4320321873","funder_display_name":"Ministero dell\u2019Istruzione, dell\u2019Universit\u00e0 e della Ricerca"},{"id":"https://openalex.org/G557875060","display_name":null,"funder_award_id":"201784YSZ5","funder_id":"https://openalex.org/F4320321873","funder_display_name":"Ministero dell\u2019Istruzione, dell\u2019Universit\u00e0 e della Ricerca"},{"id":"https://openalex.org/G895849949","display_name":null,"funder_award_id":"MIUR-PRIN","funder_id":"https://openalex.org/F4320321873","funder_display_name":"Ministero dell\u2019Istruzione, dell\u2019Universit\u00e0 e della Ricerca"}],"funders":[{"id":"https://openalex.org/F4320315909","display_name":"Universit\u00e0 Italo Francese","ror":null},{"id":"https://openalex.org/F4320321873","display_name":"Ministero dell\u2019Istruzione, dell\u2019Universit\u00e0 e della Ricerca","ror":"https://ror.org/0166hxq48"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3173869545.pdf","grobid_xml":"https://content.openalex.org/works/W3173869545.grobid-xml"},"referenced_works_count":41,"referenced_works":["https://openalex.org/W142142968","https://openalex.org/W1487583155","https://openalex.org/W1523525039","https://openalex.org/W1534339430","https://openalex.org/W1784055113","https://openalex.org/W1965718940","https://openalex.org/W1968065704","https://openalex.org/W1980172083","https://openalex.org/W1980971812","https://openalex.org/W2008838944","https://openalex.org/W2024189573","https://openalex.org/W2028016184","https://openalex.org/W2038116769","https://openalex.org/W2042360145","https://openalex.org/W2042668508","https://openalex.org/W2050084141","https://openalex.org/W2065772939","https://openalex.org/W2072048176","https://openalex.org/W2072572819","https://openalex.org/W2079524041","https://openalex.org/W2100559921","https://openalex.org/W2101443478","https://openalex.org/W2125379835","https://openalex.org/W2144562508","https://openalex.org/W2148025199","https://openalex.org/W2148901852","https://openalex.org/W2165407648","https://openalex.org/W2170626879","https://openalex.org/W2490211961","https://openalex.org/W2509988922","https://openalex.org/W2743782362","https://openalex.org/W2900137615","https://openalex.org/W2992113395","https://openalex.org/W3041811685","https://openalex.org/W3173869545","https://openalex.org/W4205907492","https://openalex.org/W4285719527","https://openalex.org/W4288080273","https://openalex.org/W6638181933","https://openalex.org/W6778114830","https://openalex.org/W6780158619"],"related_works":["https://openalex.org/W2121662537","https://openalex.org/W2223582818","https://openalex.org/W1585676371","https://openalex.org/W1568197394","https://openalex.org/W2944477567","https://openalex.org/W4288357864","https://openalex.org/W1549968516","https://openalex.org/W1713163075","https://openalex.org/W3156948370","https://openalex.org/W3173869545"],"abstract_inverted_index":{"The":[0,78],"\u03c0-calculus":[1],"is":[2,51,84],"used":[3],"as":[4],"a":[5,52,66,128,139],"model":[6],"for":[7,101,118],"programming":[8],"languages.":[9],"Its":[10],"contexts":[11,31],"exhibit":[12],"arbitrary":[13],"concurrency,":[14],"making":[15],"them":[16],"very":[17],"discriminating.":[18],"This":[19],"may":[20],"prevent":[21],"validating":[22],"desirable":[23],"behavioural":[24,93],"equivalences":[25],"in":[26],"cases":[27],"when":[28],"more":[29],"disciplined":[30],"are":[32,107,116],"expected.":[33],"In":[34],"this":[35],"paper":[36,83],"we":[37],"focus":[38,80],"on":[39,85,92,138],"two":[40],"such":[41],"common":[42],"disciplines:":[43],"sequentiality,":[44],"meaning":[45,59],"that":[46,60,114,143],"at":[47],"any":[48],"time":[49],"there":[50],"single":[53],"thread":[54],"of":[55,75,81,89,135,141,151],"computation,":[56],"and":[57,97,103,124,153],"well-bracketing,":[58],"calls":[61],"to":[62,146],"external":[63],"services":[64],"obey":[65],"stack-like":[67],"discipline.":[68],"We":[69,95,112],"formalise":[70],"the":[71,82,87,90,119,133,149],"disciplines":[72,91],"by":[73],"means":[74],"type":[76],"systems.":[77],"main":[79],"studying":[86],"consequence":[88],"equivalence.":[94],"define":[96],"study":[98],"labelled":[99],"bisimilarities":[100],"sequentiality":[102],"well-bracketing.":[104],"These":[105],"relations":[106],"coarser":[108],"than":[109],"ordinary":[110],"bisimilarity.":[111],"prove":[113],"they":[115],"sound":[117],"respective":[120],"(contextual)":[121],"barbed":[122],"equivalence,":[123],"also":[125],"complete":[126],"under":[127],"certain":[129],"technical":[130],"condition.We":[131],"show":[132],"usefulness":[134],"our":[136],"techniques":[137],"number":[140],"examples,":[142],"have":[144],"mainly":[145],"do":[147],"with":[148],"representation":[150],"functions":[152],"store.":[154]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":2}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}