{"id":"https://openalex.org/W2083397001","doi":"https://doi.org/10.1016/j.entcs.2004.02.025","title":"Comparing Operational Models of Name-Passing Process Calculi","display_name":"Comparing Operational Models of Name-Passing Process Calculi","publication_year":2004,"publication_date":"2004-12-01","ids":{"openalex":"https://openalex.org/W2083397001","doi":"https://doi.org/10.1016/j.entcs.2004.02.025","mag":"2083397001"},"language":"en","primary_location":{"id":"doi:10.1016/j.entcs.2004.02.025","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.entcs.2004.02.025","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/j.entcs.2004.02.025","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5080675787","display_name":"Marcelo Fiore","orcid":"https://orcid.org/0000-0001-8558-3492"},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Marcelo Fiore","raw_affiliation_strings":["Computer Laboratory, University of Cambridge, Cambridge, UK","Computer Laboratory, University of Cambridge Cambridge UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Laboratory, University of Cambridge, Cambridge, UK","institution_ids":["https://openalex.org/I241749"]},{"raw_affiliation_string":"Computer Laboratory, University of Cambridge Cambridge UK","institution_ids":["https://openalex.org/I241749"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5068183682","display_name":"Sam Staton","orcid":"https://orcid.org/0000-0002-0141-8922"},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Sam Staton","raw_affiliation_strings":["Computer Laboratory, University of Cambridge, Cambridge, UK","Computer Laboratory, University of Cambridge Cambridge UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Laboratory, University of Cambridge, Cambridge, UK","institution_ids":["https://openalex.org/I241749"]},{"raw_affiliation_string":"Computer Laboratory, University of Cambridge Cambridge UK","institution_ids":["https://openalex.org/I241749"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I241749"],"apc_list":null,"apc_paid":null,"fwci":1.374,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.85132823,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"106","issue":null,"first_page":"91","last_page":"104"},"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.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"}},"topics":[{"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"}},{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.996999979019165,"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/T10142","display_name":"Formal Methods in Verification","score":0.9939000010490417,"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/subcategory","display_name":"Subcategory","score":0.8202377557754517},{"id":"https://openalex.org/keywords/topos-theory","display_name":"Topos theory","score":0.7715311646461487},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.601385772228241},{"id":"https://openalex.org/keywords/sheaf","display_name":"Sheaf","score":0.549575924873352},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5237200856208801},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5065256357192993},{"id":"https://openalex.org/keywords/model-category","display_name":"Model category","score":0.48171621561050415},{"id":"https://openalex.org/keywords/transition-system","display_name":"Transition system","score":0.43468907475471497},{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.4193035364151001},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4025414288043976},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3703283667564392},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.34301137924194336},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.32293498516082764},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3041825294494629},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.246932715177536},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.229106605052948},{"id":"https://openalex.org/keywords/homotopy-category","display_name":"Homotopy category","score":0.05386495590209961}],"concepts":[{"id":"https://openalex.org/C2780617661","wikidata":"https://www.wikidata.org/wiki/Q541563","display_name":"Subcategory","level":2,"score":0.8202377557754517},{"id":"https://openalex.org/C182141236","wikidata":"https://www.wikidata.org/wiki/Q2143621","display_name":"Topos theory","level":2,"score":0.7715311646461487},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.601385772228241},{"id":"https://openalex.org/C4017995","wikidata":"https://www.wikidata.org/wiki/Q595298","display_name":"Sheaf","level":2,"score":0.549575924873352},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5237200856208801},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5065256357192993},{"id":"https://openalex.org/C131359564","wikidata":"https://www.wikidata.org/wiki/Q1941896","display_name":"Model category","level":4,"score":0.48171621561050415},{"id":"https://openalex.org/C2779167558","wikidata":"https://www.wikidata.org/wiki/Q176468","display_name":"Transition system","level":2,"score":0.43468907475471497},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.4193035364151001},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4025414288043976},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3703283667564392},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.34301137924194336},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.32293498516082764},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3041825294494629},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.246932715177536},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.229106605052948},{"id":"https://openalex.org/C79236096","wikidata":"https://www.wikidata.org/wiki/Q14775269","display_name":"Homotopy category","level":3,"score":0.05386495590209961},{"id":"https://openalex.org/C124952713","wikidata":"https://www.wikidata.org/wiki/Q8242","display_name":"Literature","level":1,"score":0.0},{"id":"https://openalex.org/C5961521","wikidata":"https://www.wikidata.org/wiki/Q746083","display_name":"Homotopy","level":2,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/j.entcs.2004.02.025","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.entcs.2004.02.025","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"}],"best_oa_location":{"id":"doi:10.1016/j.entcs.2004.02.025","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.entcs.2004.02.025","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":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W1572727431","https://openalex.org/W2027689693","https://openalex.org/W2037276526","https://openalex.org/W2112885497","https://openalex.org/W2122998034","https://openalex.org/W2136660485","https://openalex.org/W2143893379","https://openalex.org/W3177659913","https://openalex.org/W6681321529"],"related_works":["https://openalex.org/W4293582703","https://openalex.org/W2125031385","https://openalex.org/W1695386155","https://openalex.org/W4238479341","https://openalex.org/W2200655308","https://openalex.org/W2064433478","https://openalex.org/W2963869866","https://openalex.org/W2891392071","https://openalex.org/W2072745415","https://openalex.org/W1604894272"],"abstract_inverted_index":{"We":[0,48],"study":[1],"three":[2],"operational":[3],"models":[4],"of":[5,31,40],"name-passing":[6],"process":[7],"calculi:":[8],"coalgebras":[9],"on":[10,70],"(pre)sheaves,":[11],"indexed":[12],"labelled":[13],"transition":[14,51],"systems,":[15],"and":[16,34,36],"history":[17,71],"dependent":[18,72],"automata.":[19],"The":[20],"coalgebraic":[21,56,84],"model":[22,75],"is":[23,76],"considered":[24],"both":[25],"for":[26,37],"presheaves":[27],"over":[28],"the":[29,45,50,55,59,62,82],"category":[30],"finite":[32],"sets":[33],"injections,":[35],"its":[38],"subcategory":[39],"atomic":[41],"sheaves":[42],"known":[43],"as":[44],"Schanuel":[46],"topos.":[47],"characterise":[49],"relations":[52],"induced":[53],"by":[54,67],"model,":[57],"observing":[58],"differences":[60],"between":[61],"first":[63],"two":[64],"models.":[65],"Furthermore":[66],"imposing":[68],"conditions":[69],"automata,":[73],"this":[74],"shown":[77],"to":[78,81],"become":[79],"equivalent":[80],"sheaf-theoretic":[83],"model.":[85]},"counts_by_year":[{"year":2013,"cited_by_count":1}],"updated_date":"2026-06-20T20:08:15.867695","created_date":"2025-10-10T00:00:00"}