{"id":"https://openalex.org/W7162286414","doi":"https://doi.org/10.48550/arxiv.2605.23031","title":"Step in Tine: Forking Processes in Functional Choreographies","display_name":"Step in Tine: Forking Processes in Functional Choreographies","publication_year":2026,"publication_date":"2026-05-21","ids":{"openalex":"https://openalex.org/W7162286414","doi":"https://doi.org/10.48550/arxiv.2605.23031"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2605.23031","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.23031","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2605.23031","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5108683581","display_name":"A.G. Samuelson","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Samuelson, Ashley","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015733309","display_name":"Andrew K. Hirsch","orcid":"https://orcid.org/0000-0003-2518-614X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hirsch, Andrew K.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5061414499","display_name":"Ethan Cecchetti","orcid":"https://orcid.org/0000-0001-7900-8328"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Cecchetti, Ethan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.5465999841690063,"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.5465999841690063,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.07620000094175339,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T11424","display_name":"Security and Verification in Computing","score":0.041200000792741776,"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/programmer","display_name":"Programmer","score":0.6082000136375427},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.48899999260902405},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.4812000095844269},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4668999910354614},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.4230000078678131},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.4147000014781952},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.3978999853134155},{"id":"https://openalex.org/keywords/concurrent-computing","display_name":"Concurrent computing","score":0.38199999928474426},{"id":"https://openalex.org/keywords/spawn","display_name":"Spawn (biology)","score":0.3806000053882599}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8305000066757202},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7445999979972839},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.6082000136375427},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.48899999260902405},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.4812000095844269},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4668999910354614},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.4230000078678131},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.4147000014781952},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.3978999853134155},{"id":"https://openalex.org/C150495011","wikidata":"https://www.wikidata.org/wiki/Q128392","display_name":"Concurrent computing","level":2,"score":0.38199999928474426},{"id":"https://openalex.org/C17458331","wikidata":"https://www.wikidata.org/wiki/Q935672","display_name":"Spawn (biology)","level":2,"score":0.3806000053882599},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3662000000476837},{"id":"https://openalex.org/C200833197","wikidata":"https://www.wikidata.org/wiki/Q333707","display_name":"Compile time","level":3,"score":0.3325999975204468},{"id":"https://openalex.org/C40523978","wikidata":"https://www.wikidata.org/wiki/Q14675","display_name":"Fork (system call)","level":2,"score":0.329800009727478},{"id":"https://openalex.org/C95203288","wikidata":"https://www.wikidata.org/wiki/Q221682","display_name":"Semaphore","level":2,"score":0.3287000060081482},{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.3012000024318695},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.2928999960422516},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.2913999855518341},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.28519999980926514},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.28380000591278076},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.27790001034736633},{"id":"https://openalex.org/C124343487","wikidata":"https://www.wikidata.org/wiki/Q1046373","display_name":"Critical section","level":2,"score":0.265500009059906},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.26350000500679016},{"id":"https://openalex.org/C174348530","wikidata":"https://www.wikidata.org/wiki/Q188635","display_name":"Bridging (networking)","level":2,"score":0.25870001316070557},{"id":"https://openalex.org/C56348326","wikidata":"https://www.wikidata.org/wiki/Q1047554","display_name":"Mutual exclusion","level":2,"score":0.25450000166893005},{"id":"https://openalex.org/C154556556","wikidata":"https://www.wikidata.org/wiki/Q192969","display_name":"Computer multitasking","level":2,"score":0.25060001015663147},{"id":"https://openalex.org/C145428669","wikidata":"https://www.wikidata.org/wiki/Q471748","display_name":"Exception handling","level":2,"score":0.25049999356269836}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2605.23031","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.23031","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2605.23031","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.23031","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.8061338067054749,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Traditional":[0],"concurrent-programming":[1],"techniques":[2],"require":[3],"programmers":[4],"to":[5,23,31,81,85],"painstakingly":[6],"write":[7,24],"programs":[8,80],"for":[9],"each":[10],"participant":[11],"in":[12,18,51],"a":[13,21,48,75],"concurrent":[14,52],"system.":[15],"Choreographic":[16],"programming,":[17],"contrast,":[19],"allows":[20],"programmer":[22],"one":[25],"centralized":[26],"program":[27],"and":[28,93,109],"compile":[29],"it":[30,43,102],"individual":[32],"programs.":[33],"This":[34,54],"approach":[35],"simplifies":[36],"critical":[37],"properties":[38],"like":[39,106],"deadlock":[40],"freedom,":[41],"but":[42],"complicates":[44],"forking":[45],"new":[46,87],"processes,":[47,88],"core":[49],"primitive":[50],"programming.":[53],"work":[55],"addresses":[56],"that":[57],"gap":[58],"with":[59,70,97],"the":[60,65],"choreographic":[61,68],"fork":[62],"calculus":[63],"$\u03bb{\\pitchfork}$,":[64],"first":[66],"functional":[67],"language":[69],"process":[71],"forking.":[72],"$\u03bb{\\pitchfork}$":[73],"provides":[74],"deadlock-freedom":[76],"guarantee":[77],"while":[78],"allowing":[79],"dynamically":[82],"determine":[83],"when":[84],"spawn":[86],"what":[89],"they":[90],"will":[91,95],"do,":[92],"who":[94],"communicate":[96],"them.":[98],"In":[99],"doing":[100],"so,":[101],"supports":[103],"practical":[104],"applications":[105],"load":[107],"balancers":[108],"parallel":[110],"divide-and-conquer.":[111]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-05-26T00:00:00"}