{"id":"https://openalex.org/W1973153636","doi":"https://doi.org/10.1007/bf02983373","title":"Proof theory for exception handling in a tasking environment","display_name":"Proof theory for exception handling in a tasking environment","publication_year":1990,"publication_date":"1990-11-01","ids":{"openalex":"https://openalex.org/W1973153636","doi":"https://doi.org/10.1007/bf02983373","mag":"1973153636"},"language":"en","primary_location":{"id":"doi:10.1007/bf02983373","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf02983373","pdf_url":null,"source":{"id":"https://openalex.org/S84409463","display_name":"Acta Informatica","issn_l":"0001-5903","issn":["0001-5903","1432-0525"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Acta Informatica","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/A5009780838","display_name":"Kamal Lodaya","orcid":null},"institutions":[{"id":"https://openalex.org/I11947397","display_name":"Tata Institute of Fundamental Research","ror":"https://ror.org/03ht1xw27","country_code":"IN","type":"education","lineage":["https://openalex.org/I11947397","https://openalex.org/I2799351866","https://openalex.org/I3149292468"]}],"countries":["IN"],"is_corresponding":true,"raw_author_name":"K. Lodaya","raw_affiliation_strings":["Computer Science Group, Tata Institute of Fundamental Research, Homi Bhabha Road, 400 005, Bombay, India","Computer Science Group, Tata Institute of Fundamental Research, Bombay, India"],"affiliations":[{"raw_affiliation_string":"Computer Science Group, Tata Institute of Fundamental Research, Homi Bhabha Road, 400 005, Bombay, India","institution_ids":["https://openalex.org/I11947397"]},{"raw_affiliation_string":"Computer Science Group, Tata Institute of Fundamental Research, Bombay, India","institution_ids":["https://openalex.org/I11947397"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111410153","display_name":"R. K. Shyamasundar","orcid":"https://orcid.org/0000-0001-6966-0507"},"institutions":[{"id":"https://openalex.org/I11947397","display_name":"Tata Institute of Fundamental Research","ror":"https://ror.org/03ht1xw27","country_code":"IN","type":"education","lineage":["https://openalex.org/I11947397","https://openalex.org/I2799351866","https://openalex.org/I3149292468"]},{"id":"https://openalex.org/I130769515","display_name":"Pennsylvania State University","ror":"https://ror.org/04p491231","country_code":"US","type":"education","lineage":["https://openalex.org/I130769515"]}],"countries":["IN","US"],"is_corresponding":false,"raw_author_name":"R. K. Shyamasundar","raw_affiliation_strings":["Computer Science Group, Tata Institute of Fundamental Research, Homi Bhabha Road, 400 005, Bombay, India","Department of Computer Science, Pennsylvania State University, 16902, University Park, PA, USA","Computer Science Group, Tata Institute of Fundamental Research, Bombay, India","Department of Computer Science, Pennsylvania State University, University Park, USA"],"affiliations":[{"raw_affiliation_string":"Computer Science Group, Tata Institute of Fundamental Research, Homi Bhabha Road, 400 005, Bombay, India","institution_ids":["https://openalex.org/I11947397"]},{"raw_affiliation_string":"Department of Computer Science, Pennsylvania State University, 16902, University Park, PA, USA","institution_ids":["https://openalex.org/I130769515"]},{"raw_affiliation_string":"Computer Science Group, Tata Institute of Fundamental Research, Bombay, India","institution_ids":["https://openalex.org/I11947397"]},{"raw_affiliation_string":"Department of Computer Science, Pennsylvania State University, University Park, USA","institution_ids":["https://openalex.org/I130769515"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5009780838"],"corresponding_institution_ids":["https://openalex.org/I11947397"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":2.1496,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.88126095,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"28","issue":"1","first_page":"7","last_page":"41"},"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.9998000264167786,"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.9998000264167786,"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.9983000159263611,"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/T11424","display_name":"Security and Verification in Computing","score":0.9943000078201294,"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.8328012228012085},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.7940121293067932},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.7352882027626038},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7208528518676758},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6708698272705078},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.6583593487739563},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.6319060325622559},{"id":"https://openalex.org/keywords/communicating-sequential-processes","display_name":"Communicating sequential processes","score":0.6269406676292419},{"id":"https://openalex.org/keywords/exception-handling","display_name":"Exception handling","score":0.5778906345367432},{"id":"https://openalex.org/keywords/fragment","display_name":"Fragment (logic)","score":0.5458751320838928},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4609357416629791},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.19385910034179688},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.1592826247215271},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1115969717502594}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8328012228012085},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.7940121293067932},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.7352882027626038},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7208528518676758},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6708698272705078},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.6583593487739563},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.6319060325622559},{"id":"https://openalex.org/C155214134","wikidata":"https://www.wikidata.org/wiki/Q1120460","display_name":"Communicating sequential processes","level":4,"score":0.6269406676292419},{"id":"https://openalex.org/C145428669","wikidata":"https://www.wikidata.org/wiki/Q471748","display_name":"Exception handling","level":2,"score":0.5778906345367432},{"id":"https://openalex.org/C2776235265","wikidata":"https://www.wikidata.org/wiki/Q18392052","display_name":"Fragment (logic)","level":2,"score":0.5458751320838928},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4609357416629791},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.19385910034179688},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.1592826247215271},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1115969717502594},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/bf02983373","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf02983373","pdf_url":null,"source":{"id":"https://openalex.org/S84409463","display_name":"Acta Informatica","issn_l":"0001-5903","issn":["0001-5903","1432-0525"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Acta Informatica","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5799999833106995,"id":"https://metadata.un.org/sdg/13","display_name":"Climate action"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W1554773840","https://openalex.org/W1559723191","https://openalex.org/W1573218854","https://openalex.org/W1964727056","https://openalex.org/W1984831616","https://openalex.org/W2006807875","https://openalex.org/W2038952689","https://openalex.org/W2043531933","https://openalex.org/W2051221358","https://openalex.org/W2060551365","https://openalex.org/W2081379485","https://openalex.org/W2102918824","https://openalex.org/W2110425399","https://openalex.org/W2116320598","https://openalex.org/W2126097181","https://openalex.org/W2142018213","https://openalex.org/W2228553137","https://openalex.org/W2409231228","https://openalex.org/W2796990889","https://openalex.org/W2910115471","https://openalex.org/W2912033870","https://openalex.org/W3010791527","https://openalex.org/W3144368627","https://openalex.org/W4211008702"],"related_works":["https://openalex.org/W2610441889","https://openalex.org/W2963533091","https://openalex.org/W1885991348","https://openalex.org/W2012923552","https://openalex.org/W4206956498","https://openalex.org/W1188080205","https://openalex.org/W2952519015","https://openalex.org/W4298870596","https://openalex.org/W2048467032","https://openalex.org/W1973153636"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}