{"id":"https://openalex.org/W2036455933","doi":"https://doi.org/10.1016/s1571-0661(04)80501-2","title":"Concrete Process Categories","display_name":"Concrete Process Categories","publication_year":2002,"publication_date":"2002-11-01","ids":{"openalex":"https://openalex.org/W2036455933","doi":"https://doi.org/10.1016/s1571-0661(04)80501-2","mag":"2036455933"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(04)80501-2","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80501-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(04)80501-2","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5059882345","display_name":"Krzysztof Worytkiewicz","orcid":null},"institutions":[{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":true,"raw_author_name":"Krzysztof Worytkiewicz","raw_affiliation_strings":["LTI, Swiss Federal Institute of Technology, CH1015-Lausanne"],"affiliations":[{"raw_affiliation_string":"LTI, Swiss Federal Institute of Technology, CH1015-Lausanne","institution_ids":["https://openalex.org/I5124864"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5059882345"],"corresponding_institution_ids":["https://openalex.org/I5124864"],"apc_list":null,"apc_paid":null,"fwci":2.0844,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.88040207,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"68","issue":"1","first_page":"70","last_page":"85"},"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.9995999932289124,"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.9995999932289124,"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/T10142","display_name":"Formal Methods in Verification","score":0.9930999875068665,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.991599977016449,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/span","display_name":"Span (engineering)","score":0.59804767370224},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5835700035095215},{"id":"https://openalex.org/keywords/bisimulation","display_name":"Bisimulation","score":0.5602554678916931},{"id":"https://openalex.org/keywords/generality","display_name":"Generality","score":0.4955235719680786},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.45767447352409363},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3428914546966553},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.32681041955947876},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3262838125228882},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2751898467540741},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.17668282985687256}],"concepts":[{"id":"https://openalex.org/C2778753569","wikidata":"https://www.wikidata.org/wiki/Q1960395","display_name":"Span (engineering)","level":2,"score":0.59804767370224},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5835700035095215},{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.5602554678916931},{"id":"https://openalex.org/C2780767217","wikidata":"https://www.wikidata.org/wiki/Q5532421","display_name":"Generality","level":2,"score":0.4955235719680786},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.45767447352409363},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3428914546966553},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.32681041955947876},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3262838125228882},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2751898467540741},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.17668282985687256},{"id":"https://openalex.org/C542102704","wikidata":"https://www.wikidata.org/wiki/Q183257","display_name":"Psychotherapist","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C147176958","wikidata":"https://www.wikidata.org/wiki/Q77590","display_name":"Civil engineering","level":1,"score":0.0},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s1571-0661(04)80501-2","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80501-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"}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(04)80501-2","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80501-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.46000000834465027,"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W156248253","https://openalex.org/W158035142","https://openalex.org/W583126019","https://openalex.org/W1498342204","https://openalex.org/W1511705245","https://openalex.org/W1573502168","https://openalex.org/W1823163556","https://openalex.org/W1855290378","https://openalex.org/W1923324835","https://openalex.org/W1955927414","https://openalex.org/W1998538047","https://openalex.org/W2011402802","https://openalex.org/W2039290601","https://openalex.org/W2043932961","https://openalex.org/W2073580455","https://openalex.org/W2088537505","https://openalex.org/W2103953153","https://openalex.org/W2105441172","https://openalex.org/W2126021517","https://openalex.org/W2128932399","https://openalex.org/W2279196265","https://openalex.org/W2325566304","https://openalex.org/W2912400177","https://openalex.org/W4240325075","https://openalex.org/W4251705707"],"related_works":["https://openalex.org/W59382029","https://openalex.org/W2376140444","https://openalex.org/W2094903923","https://openalex.org/W1555673433","https://openalex.org/W4319456988","https://openalex.org/W1495872178","https://openalex.org/W2003499082","https://openalex.org/W2119035971","https://openalex.org/W2129909535","https://openalex.org/W2075412006"],"abstract_inverted_index":{"This":[0],"paper":[1],"presents":[2],"a":[3,8,17,25,46,60,68,102,127,159,172],"rather":[4],"concrete":[5],"view":[6],"of":[7,19,43,52,70,72,86,104,117,134,150,156,161],"semantic":[9,77],"universe":[10,78],"for":[11],"typed":[12],"concurrent":[13],"computation.":[14],"Starting":[15],"with":[16,64],"notion":[18,155],"sets":[20],"and":[21,56,94,130,178],"functions":[22],"organized":[23],"in":[24,98,180],"category":[26,48,69,186,196],"B":[27,41,55,89,121,170,189],"featuring":[28],"the":[29,36,50,76,84,115,132,144,148,193],"type":[30],"theory":[31],"at":[32,126,143],"hand,":[33],"we":[34,82],"identify":[35,114],"lax":[37,61],"slice":[38],"F//Span":[39,87],"(":[40,88,120,169,188],")":[42,90],"pseudo-functors":[44],"from":[45],"free":[47],"into":[49],"bicategory":[51,116],"spans":[53,118],"over":[54,74],"triangles":[57],"commuting":[58],"up-to":[59],"natural":[62],"transformation":[63],"representable":[65],"components":[66],"as":[67,123,138],"models":[71],"concurrency":[73],"which":[75,165],"unfolds.":[79],"By":[80],"analogy,":[81],"call":[83],"objects":[85],"categorical":[91],"transition":[92],"systems":[93],"demonstrate":[95],"their":[96,135],"relevance":[97],"giving":[99],"meaning":[100],"to":[101,166],"range":[103],"everyday":[105],"phenomena":[106],"including":[107],"message":[108],"passing":[109],"among":[110],"imperative":[111],"programs.":[112],"We":[113],"Span(F//Span":[119,168],"))":[122],"organizing":[124],"processes":[125],"basic":[128],"level":[129],"address":[131],"question":[133],"equality,":[136],"articulated":[137],"bisimulation":[139],"w.r.t.":[140],"actions":[141],"observable":[142],"interfaces":[145],"given":[146],"by":[147,164,176,199],"legs":[149],"such":[151],"spans.":[152],"An":[153],"appropriate":[154],"simulation":[157],"yields":[158],"system":[160],"open":[162],"maps":[163],"quotient":[167],")),":[171],"construction":[173],"originally":[174],"considered":[175],"Cockett":[177],"Spooner":[179],"its":[181],"generality.":[182],"The":[183],"resulting":[184],"process":[185],"Proc(F//Span":[187],"),\u03d6)":[190],"properly":[191],"contains":[192],"well-known":[194],"interaction":[195],"SProc":[197],"introduced":[198],"Abramsky":[200],"et":[201],"al.":[202]},"counts_by_year":[{"year":2014,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}