{"id":"https://openalex.org/W2161497018","doi":"https://doi.org/10.1017/s0960129509007683","title":"On the expressive power of process interruption and compensation","display_name":"On the expressive power of process interruption and compensation","publication_year":2009,"publication_date":"2009-05-06","ids":{"openalex":"https://openalex.org/W2161497018","doi":"https://doi.org/10.1017/s0960129509007683","mag":"2161497018"},"language":"en","primary_location":{"id":"doi:10.1017/s0960129509007683","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129509007683","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"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":"Mathematical Structures in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5066677397","display_name":"Mario Bravetti","orcid":"https://orcid.org/0000-0001-5193-2914"},"institutions":[{"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":["IT"],"is_corresponding":false,"raw_author_name":"MARIO BRAVETTI","raw_affiliation_strings":["Department of Computer Science, Universit\u00e0 di Bologna Email:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Universit\u00e0 di Bologna Email:","institution_ids":["https://openalex.org/I9360294"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5110321470","display_name":"Gianluigi Zavattaro","orcid":null},"institutions":[{"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":["IT"],"is_corresponding":false,"raw_author_name":"GIANLUIGI ZAVATTARO","raw_affiliation_strings":["Department of Computer Science, Universit\u00e0 di Bologna Email:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Universit\u00e0 di Bologna Email:","institution_ids":["https://openalex.org/I9360294"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I9360294"],"apc_list":null,"apc_paid":null,"fwci":5.3296,"has_fulltext":false,"cited_by_count":27,"citation_normalized_percentile":{"value":0.95709888,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"19","issue":"3","first_page":"565","last_page":"599"},"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.9991999864578247,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9968000054359436,"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/interrupt","display_name":"Interrupt","score":0.8673443794250488},{"id":"https://openalex.org/keywords/undecidable-problem","display_name":"Undecidable problem","score":0.7359095215797424},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6910228729248047},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.676021933555603},{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.5791400671005249},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5373327732086182},{"id":"https://openalex.org/keywords/operator","display_name":"Operator (biology)","score":0.519233763217926},{"id":"https://openalex.org/keywords/recursion","display_name":"Recursion (computer science)","score":0.5155913233757019},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2959606647491455}],"concepts":[{"id":"https://openalex.org/C41661131","wikidata":"https://www.wikidata.org/wiki/Q220764","display_name":"Interrupt","level":3,"score":0.8673443794250488},{"id":"https://openalex.org/C192034797","wikidata":"https://www.wikidata.org/wiki/Q3502995","display_name":"Undecidable problem","level":3,"score":0.7359095215797424},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6910228729248047},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.676021933555603},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.5791400671005249},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5373327732086182},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.519233763217926},{"id":"https://openalex.org/C168773036","wikidata":"https://www.wikidata.org/wiki/Q264164","display_name":"Recursion (computer science)","level":2,"score":0.5155913233757019},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2959606647491455},{"id":"https://openalex.org/C86339819","wikidata":"https://www.wikidata.org/wiki/Q407384","display_name":"Transcription factor","level":3,"score":0.0},{"id":"https://openalex.org/C158448853","wikidata":"https://www.wikidata.org/wiki/Q425218","display_name":"Repressor","level":4,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C761482","wikidata":"https://www.wikidata.org/wiki/Q118093","display_name":"Transmission (telecommunications)","level":2,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1017/s0960129509007683","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129509007683","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"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":"Mathematical Structures in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.399.5406","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.399.5406","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.unibo.it/pub/techreports/2008/2008-15.pdf","raw_type":"text"},{"id":"pmh:oai:cris.unibo.it:11585/84907","is_oa":false,"landing_page_url":"http://hdl.handle.net/11585/84907","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.7400000095367432}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":48,"referenced_works":["https://openalex.org/W6616102","https://openalex.org/W119570465","https://openalex.org/W149631060","https://openalex.org/W174979378","https://openalex.org/W623593394","https://openalex.org/W1500859230","https://openalex.org/W1503973138","https://openalex.org/W1539702044","https://openalex.org/W1540254171","https://openalex.org/W1552587784","https://openalex.org/W1571805725","https://openalex.org/W1580055894","https://openalex.org/W1587877137","https://openalex.org/W1589421353","https://openalex.org/W1606143923","https://openalex.org/W1606717948","https://openalex.org/W1608333380","https://openalex.org/W1967174286","https://openalex.org/W1974168649","https://openalex.org/W1979524713","https://openalex.org/W2012140001","https://openalex.org/W2013672985","https://openalex.org/W2018765574","https://openalex.org/W2019102125","https://openalex.org/W2076508310","https://openalex.org/W2094542439","https://openalex.org/W2097082814","https://openalex.org/W2109585055","https://openalex.org/W2128932399","https://openalex.org/W2138298515","https://openalex.org/W2148337378","https://openalex.org/W2150864072","https://openalex.org/W2153074919","https://openalex.org/W2162282992","https://openalex.org/W2164822567","https://openalex.org/W2340102009","https://openalex.org/W2394903686","https://openalex.org/W2402732010","https://openalex.org/W2570848368","https://openalex.org/W2796564118","https://openalex.org/W3008473750","https://openalex.org/W3124439491","https://openalex.org/W3144368627","https://openalex.org/W4240833632","https://openalex.org/W4285719527","https://openalex.org/W6606046182","https://openalex.org/W6655199249","https://openalex.org/W6669870310"],"related_works":["https://openalex.org/W2972379433","https://openalex.org/W1501430220","https://openalex.org/W2989332944","https://openalex.org/W2021891065","https://openalex.org/W2583549044","https://openalex.org/W2119045600","https://openalex.org/W2584984136","https://openalex.org/W2962928105","https://openalex.org/W2170336571","https://openalex.org/W2020140696"],"abstract_inverted_index":{"The":[0],"investigation":[1],"into":[2],"the":[3,15,23,32,38,49,55,80,86,96,106,119,122,152,175,191,194],"foundational":[4],"aspects":[5],"of":[6,18,34,40,57,64,76,83,101,121,169,177,184],"linguistic":[7],"mechanisms":[8],"for":[9,60,89,164],"programming":[10],"long-running":[11],"transactions":[12],"(such":[13],"as":[14,116,118],"scope":[16],"operator":[17,82,88],"WS-BPEL)":[19],"has":[20],"recently":[21],"renewed":[22],"interest":[24],"in":[25],"process":[26],"algebraic":[27],"operators":[28],"that,":[29,115],"due":[30],"to":[31],"occurrence":[33],"a":[35,167,182],"failure,":[36],"interrupt":[37,81,134,192],"execution":[39],"one":[41,47,70,75,102],"process,":[42],"replacing":[43],"it":[44],"with":[45,67,71,74,189],"another":[46],"called":[48],"failure":[50],"handler":[51],".":[52],"We":[53,113],"investigate":[54],"decidability":[56,120],"termination":[58,98,108,138,143,155,160],"problems":[59,124],"two":[61,77],"simple":[62],"fragments":[63],"CCS":[65,185],"(one":[66],"recursion":[68,148],"and":[69,85,105,135,186],"replication)":[72],"extended":[73],"such":[78],"operators,":[79],"CSP":[84],"try-catch":[87,136,195],"exception":[90],"handling.":[91],"More":[92],"precisely,":[93],"we":[94,173],"consider":[95],"existential":[97,142],"problem":[99,109],"(existence":[100],"terminated":[103],"computation)":[104],"universal":[107,159],"(all":[110],"computations":[111],"terminate).":[112],"prove":[114],"far":[117],"considered":[123],"is":[125,130,139,144,150,156,161],"concerned,":[126],"under":[127,147],"replication":[128],"there":[129],"no":[131],"difference":[132],"between":[133,181],"(universal":[137],"decidable":[140,162],"while":[141,146,158],"not),":[145],"this":[149],"not":[151],"case":[153],"(existential":[154],"undecidable":[157],"only":[163],"interrupt).":[165],"As":[166],"consequence":[168],"our":[170],"undecidability":[171],"results,":[172],"show":[174],"existence":[176],"an":[178],"expressiveness":[179],"gap":[180],"fragment":[183],"its":[187],"extension":[188],"either":[190],"or":[193],"operator.":[196]},"counts_by_year":[{"year":2021,"cited_by_count":6},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":4},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":5}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}