{"id":"https://openalex.org/W2913965635","doi":"https://doi.org/10.1017/s0956796808006916","title":"Transactional events","display_name":"Transactional events","publication_year":2008,"publication_date":"2008-09-01","ids":{"openalex":"https://openalex.org/W2913965635","doi":"https://doi.org/10.1017/s0956796808006916","mag":"2913965635"},"language":"en","primary_location":{"id":"doi:10.1017/s0956796808006916","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s0956796808006916","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/84D5EB6061CC0B2A2C73AC148A26EB6C/S0956796808006916a.pdf/div-class-title-transactional-events-a-href-fn1-ref-type-fn-span-class-sup-1-span-a-div.pdf","source":{"id":"https://openalex.org/S12266929","display_name":"Journal of Functional Programming","issn_l":"0956-7968","issn":["0956-7968","1469-7653"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Functional Programming","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/84D5EB6061CC0B2A2C73AC148A26EB6C/S0956796808006916a.pdf/div-class-title-transactional-events-a-href-fn1-ref-type-fn-span-class-sup-1-span-a-div.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5111560785","display_name":"K. Donnelly","orcid":null},"institutions":[{"id":"https://openalex.org/I111088046","display_name":"Boston University","ror":"https://ror.org/05qwgg493","country_code":"US","type":"education","lineage":["https://openalex.org/I111088046"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"KEVIN DONNELLY","raw_affiliation_strings":["Boston University, Boston, MA 02215, US (e-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Boston University, Boston, MA 02215, US (e-mail:","institution_ids":["https://openalex.org/I111088046"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029478793","display_name":"Matthew Fluet","orcid":"https://orcid.org/0000-0002-4194-7618"},"institutions":[{"id":"https://openalex.org/I160992636","display_name":"Toyota Technological Institute at Chicago","ror":"https://ror.org/02sn5gb64","country_code":"US","type":"education","lineage":["https://openalex.org/I160992636"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"MATTHEW FLUET","raw_affiliation_strings":["Toyota Technological Institute at Chicago, Chicago, IL 60637, US (e-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Toyota Technological Institute at Chicago, Chicago, IL 60637, US (e-mail:","institution_ids":["https://openalex.org/I160992636"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5111560785"],"corresponding_institution_ids":["https://openalex.org/I111088046"],"apc_list":null,"apc_paid":null,"fwci":2.6684,"has_fulltext":true,"cited_by_count":17,"citation_normalized_percentile":{"value":0.91542929,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"18","issue":"5-6","first_page":"649","last_page":"706"},"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.9998999834060669,"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.9998999834060669,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9988999962806702,"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/T11424","display_name":"Security and Verification in Computing","score":0.9925000071525574,"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/computer-science","display_name":"Computer science","score":0.898846447467804},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.74849933385849},{"id":"https://openalex.org/keywords/transactional-memory","display_name":"Transactional memory","score":0.689923882484436},{"id":"https://openalex.org/keywords/software-transactional-memory","display_name":"Software transactional memory","score":0.5790078043937683},{"id":"https://openalex.org/keywords/transactional-leadership","display_name":"Transactional leadership","score":0.5420291423797607},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.5316966772079468},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.45812591910362244},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.4434615671634674},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.43956974148750305},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.43715041875839233},{"id":"https://openalex.org/keywords/database-transaction","display_name":"Database transaction","score":0.13263648748397827},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09720227122306824}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.898846447467804},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.74849933385849},{"id":"https://openalex.org/C134277064","wikidata":"https://www.wikidata.org/wiki/Q878206","display_name":"Transactional memory","level":3,"score":0.689923882484436},{"id":"https://openalex.org/C167149655","wikidata":"https://www.wikidata.org/wiki/Q1189004","display_name":"Software transactional memory","level":4,"score":0.5790078043937683},{"id":"https://openalex.org/C68489960","wikidata":"https://www.wikidata.org/wiki/Q2370659","display_name":"Transactional leadership","level":2,"score":0.5420291423797607},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.5316966772079468},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.45812591910362244},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.4434615671634674},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.43956974148750305},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.43715041875839233},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.13263648748397827},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09720227122306824},{"id":"https://openalex.org/C77805123","wikidata":"https://www.wikidata.org/wiki/Q161272","display_name":"Social psychology","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/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s0956796808006916","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s0956796808006916","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/84D5EB6061CC0B2A2C73AC148A26EB6C/S0956796808006916a.pdf/div-class-title-transactional-events-a-href-fn1-ref-type-fn-span-class-sup-1-span-a-div.pdf","source":{"id":"https://openalex.org/S12266929","display_name":"Journal of Functional Programming","issn_l":"0956-7968","issn":["0956-7968","1469-7653"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Functional Programming","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1017/s0956796808006916","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s0956796808006916","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/84D5EB6061CC0B2A2C73AC148A26EB6C/S0956796808006916a.pdf/div-class-title-transactional-events-a-href-fn1-ref-type-fn-span-class-sup-1-span-a-div.pdf","source":{"id":"https://openalex.org/S12266929","display_name":"Journal of Functional Programming","issn_l":"0956-7968","issn":["0956-7968","1469-7653"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Functional Programming","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320309622","display_name":"Harvard University","ror":"https://ror.org/03vek6s52"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2913965635.pdf","grobid_xml":"https://content.openalex.org/works/W2913965635.grobid-xml"},"referenced_works_count":45,"referenced_works":["https://openalex.org/W95235219","https://openalex.org/W107372140","https://openalex.org/W625745975","https://openalex.org/W1495087637","https://openalex.org/W1513814679","https://openalex.org/W1584322803","https://openalex.org/W1969411922","https://openalex.org/W1970782371","https://openalex.org/W1979039632","https://openalex.org/W1980895171","https://openalex.org/W1997143185","https://openalex.org/W2008838944","https://openalex.org/W2021059028","https://openalex.org/W2072722514","https://openalex.org/W2078944436","https://openalex.org/W2079854797","https://openalex.org/W2108204150","https://openalex.org/W2108860780","https://openalex.org/W2109507655","https://openalex.org/W2110425399","https://openalex.org/W2113020196","https://openalex.org/W2113751407","https://openalex.org/W2119964141","https://openalex.org/W2122391088","https://openalex.org/W2129990308","https://openalex.org/W2134997781","https://openalex.org/W2139077453","https://openalex.org/W2141911107","https://openalex.org/W2146516325","https://openalex.org/W2147112772","https://openalex.org/W2156876717","https://openalex.org/W2165825461","https://openalex.org/W2188944230","https://openalex.org/W2293560983","https://openalex.org/W2296715995","https://openalex.org/W2506957356","https://openalex.org/W2769656678","https://openalex.org/W4211008702","https://openalex.org/W4230702135","https://openalex.org/W4234493895","https://openalex.org/W4235111675","https://openalex.org/W4238982306","https://openalex.org/W4242949098","https://openalex.org/W4246263814","https://openalex.org/W6604295687"],"related_works":["https://openalex.org/W2088444093","https://openalex.org/W133473147","https://openalex.org/W4252722439","https://openalex.org/W924353067","https://openalex.org/W2152491655","https://openalex.org/W2992926879","https://openalex.org/W1144911151","https://openalex.org/W2076409732","https://openalex.org/W120707803","https://openalex.org/W2130223300"],"abstract_inverted_index":{"Abstract":[0],"Concurrent":[1],"programs":[2],"require":[3],"high-level":[4],"abstractions":[5],"in":[6,46,63,129],"order":[7],"to":[8,43,96,100],"manage":[9],"complexity":[10],"and":[11,98,162],"enable":[12],"compositional":[13,149],"reasoning.":[14],"In":[15],"this":[16],"paper,":[17],"we":[18],"introduce":[19],"a":[20,68,111,141,152,156,164],"novel":[21],"concurrency":[22],"abstraction,":[23],"dubbed":[24],"transactional":[25,60,83,107,119,146,160],"events":[26,34,90,108,127,147,161],",":[27],"which":[28,85],"combines":[29],"first-class":[30,89],"synchronous":[31,52],"message":[32],"passing":[33],"with":[35,140],"all-or-nothing":[36,118],"transactions.":[37],"This":[38,136],"combination":[39],"enables":[40],"simple":[41],"solutions":[42,93],"interesting":[44],"problems":[45],"concurrent":[47],"programming.":[48],"For":[49],"example,":[50,74],"guarded":[51],"receive":[53],"can":[54,77],"be":[55,78],"implemented":[56,79],"as":[57,80],"an":[58,81,117,168],"abstract":[59,82],"event,":[61,84],"whereas":[62],"other":[64],"languages":[65],"it":[66],"requires":[67],"non-abstract,":[69],"non-modular":[70],"protocol.":[71],"As":[72],"another":[73],"three-way":[75],"rendezvous":[76],"is":[86],"impossible":[87],"using":[88],"alone.":[91],"Both":[92],"are":[94],"easy":[95,99],"code":[97],"reason":[101],"about.":[102],"The":[103],"expressive":[104],"power":[105],"of":[106,124,133,151,167],"arises":[109],"from":[110],"sequencing":[112,137],"combinator":[113],"whose":[114],"semantics":[115,158],"enforces":[116],"property":[120],"\u2013":[121],"either":[122],"both":[123],"the":[125,148],"constituent":[126],"synchronize":[128],"sequence":[130],"or":[131],"neither":[132],"them":[134],"synchronizes.":[135],"combinator,":[138,144],"along":[139],"non-deterministic":[142],"choice":[143],"gives":[145],"structure":[150],"monad-with-plus.":[153],"We":[154],"provide":[155],"formal":[157],"for":[159],"give":[163],"detailed":[165],"account":[166],"implementation.":[169]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":3}],"updated_date":"2026-04-23T06:14:38.165362","created_date":"2025-10-10T00:00:00"}