{"id":"https://openalex.org/W2020263005","doi":"https://doi.org/10.1016/0304-3975(94)90167-8","title":"A trace-based compositional proof theory for fault tolerant distributed systems","display_name":"A trace-based compositional proof theory for fault tolerant distributed systems","publication_year":1994,"publication_date":"1994-06-01","ids":{"openalex":"https://openalex.org/W2020263005","doi":"https://doi.org/10.1016/0304-3975(94)90167-8","mag":"2020263005"},"language":"en","primary_location":{"id":"doi:10.1016/0304-3975(94)90167-8","is_oa":true,"landing_page_url":"https://doi.org/10.1016/0304-3975(94)90167-8","pdf_url":"https://www.sciencedirect.com/science/article/pii/0304397594901678/pdf","source":{"id":"https://openalex.org/S90727058","display_name":"Theoretical Computer Science","issn_l":"0304-3975","issn":["0304-3975","1879-2294"],"is_oa":false,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://www.sciencedirect.com/science/article/pii/0304397594901678/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5026006275","display_name":"Henk Schepers","orcid":null},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Henk Schepers","raw_affiliation_strings":["Department of Mathematics and Computing Science, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands","Department of Mathematics and Computing Science, Eindhoven University of Technology, P. O. Box 513, 5600 MB Eindhoven, the Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computing Science, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Department of Mathematics and Computing Science, Eindhoven University of Technology, P. O. Box 513, 5600 MB Eindhoven, the Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5106716794","display_name":"Jozef Hooman","orcid":null},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Jozef Hooman","raw_affiliation_strings":["Department of Mathematics and Computing Science, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands","Department of Mathematics and Computing Science, Eindhoven University of Technology, P. O. Box 513, 5600 MB Eindhoven, the Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computing Science, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Department of Mathematics and Computing Science, Eindhoven University of Technology, P. O. Box 513, 5600 MB Eindhoven, the Netherlands","institution_ids":["https://openalex.org/I83019370"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5026006275","https://openalex.org/A5106716794"],"corresponding_institution_ids":["https://openalex.org/I83019370"],"apc_list":{"value":2600,"currency":"USD","value_usd":2600},"apc_paid":null,"fwci":0.5318,"has_fulltext":true,"cited_by_count":12,"citation_normalized_percentile":{"value":0.71654689,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"128","issue":"1-2","first_page":"127","last_page":"157"},"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.9994999766349792,"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.9994999766349792,"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/T10142","display_name":"Formal Methods in Verification","score":0.9976000189781189,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9970999956130981,"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/soundness","display_name":"Soundness","score":0.8638464212417603},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6792904734611511},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.566649317741394},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.5602846145629883},{"id":"https://openalex.org/keywords/proof-theory","display_name":"Proof theory","score":0.5021834373474121},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.48760977387428284},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.46344637870788574},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.44658946990966797},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.41297468543052673},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.38689714670181274},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.30644962191581726},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2361057698726654},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.23504236340522766}],"concepts":[{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.8638464212417603},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6792904734611511},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.566649317741394},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.5602846145629883},{"id":"https://openalex.org/C2318724","wikidata":"https://www.wikidata.org/wiki/Q852732","display_name":"Proof theory","level":3,"score":0.5021834373474121},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.48760977387428284},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.46344637870788574},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.44658946990966797},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.41297468543052673},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.38689714670181274},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.30644962191581726},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2361057698726654},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.23504236340522766},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1016/0304-3975(94)90167-8","is_oa":true,"landing_page_url":"https://doi.org/10.1016/0304-3975(94)90167-8","pdf_url":"https://www.sciencedirect.com/science/article/pii/0304397594901678/pdf","source":{"id":"https://openalex.org/S90727058","display_name":"Theoretical Computer Science","issn_l":"0304-3975","issn":["0304-3975","1879-2294"],"is_oa":false,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theoretical Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:pure.tue.nl:openaire/f3365ec0-2e4f-48db-9fc4-c6f85e1628bd","is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/f3365ec0-2e4f-48db-9fc4-c6f85e1628bd","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Schepers, H & Hooman, J J M 1994, 'A trace-based compositional proof theory for fault tolerant distributed systems', Theoretical Computer Science, vol. 128, no. 1-2, pp. 127-157. https://doi.org/10.1016/0304-3975(94)90167-8","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:pure.tue.nl:openaire_cris_publications/7aab7691-a6e6-433e-aa25-e9d4645e2ccd","is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/7aab7691-a6e6-433e-aa25-e9d4645e2ccd","pdf_url":"https://pure.tue.nl/ws/files/2404601/9314335.pdf","source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Schepers, H J J H & Hooman, J J M 1993, A trace-based compositional proof theory for fault tolerant distributed systems. Computing science notes, vol. 9316, Technische Universiteit Eindhoven, Eindhoven.","raw_type":"info:eu-repo/semantics/report"},{"id":"pmh:399191","is_oa":false,"landing_page_url":"http://library.tue.nl/csp/dare/LinkToRepository.csp?recordnumber=399191","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"External research report"},{"id":"pmh:tue:oai:pure.tue.nl:publications/f3365ec0-2e4f-48db-9fc4-c6f85e1628bd","is_oa":true,"landing_page_url":"https://research.tue.nl/nl/publications/f3365ec0-2e4f-48db-9fc4-c6f85e1628bd","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Theoretical Computer Science, 128(1-2), 127 - 157. Elsevier","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1016/0304-3975(94)90167-8","is_oa":true,"landing_page_url":"https://doi.org/10.1016/0304-3975(94)90167-8","pdf_url":"https://www.sciencedirect.com/science/article/pii/0304397594901678/pdf","source":{"id":"https://openalex.org/S90727058","display_name":"Theoretical Computer Science","issn_l":"0304-3975","issn":["0304-3975","1879-2294"],"is_oa":false,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.5899999737739563,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2020263005.pdf","grobid_xml":"https://content.openalex.org/works/W2020263005.grobid-xml"},"referenced_works_count":45,"referenced_works":["https://openalex.org/W13158645","https://openalex.org/W191880164","https://openalex.org/W1520736661","https://openalex.org/W1606900254","https://openalex.org/W1866427062","https://openalex.org/W1894518051","https://openalex.org/W1964167160","https://openalex.org/W1964882586","https://openalex.org/W1968054699","https://openalex.org/W1971837836","https://openalex.org/W1978358700","https://openalex.org/W2000257907","https://openalex.org/W2003773532","https://openalex.org/W2007408338","https://openalex.org/W2042851811","https://openalex.org/W2068839623","https://openalex.org/W2075350371","https://openalex.org/W2080960387","https://openalex.org/W2096412050","https://openalex.org/W2110425399","https://openalex.org/W2113314281","https://openalex.org/W2142210186","https://openalex.org/W2146503162","https://openalex.org/W2171114000","https://openalex.org/W2171848757","https://openalex.org/W2571737579","https://openalex.org/W2809556900","https://openalex.org/W4211008702","https://openalex.org/W4249289695","https://openalex.org/W4254601874","https://openalex.org/W4285719527","https://openalex.org/W4300610353","https://openalex.org/W6600544028","https://openalex.org/W6607777411","https://openalex.org/W6631298640","https://openalex.org/W6635273122","https://openalex.org/W6639441638","https://openalex.org/W6639599847","https://openalex.org/W6651194924","https://openalex.org/W6652151468","https://openalex.org/W6677095197","https://openalex.org/W6680372707","https://openalex.org/W6681752064","https://openalex.org/W6685612981","https://openalex.org/W6732077479"],"related_works":["https://openalex.org/W2950202488","https://openalex.org/W2604424424","https://openalex.org/W13634261","https://openalex.org/W56937029","https://openalex.org/W3163509751","https://openalex.org/W958050847","https://openalex.org/W2396405675","https://openalex.org/W1548499332","https://openalex.org/W1549730417","https://openalex.org/W1994524667"],"abstract_inverted_index":null,"counts_by_year":[{"year":2016,"cited_by_count":1}],"updated_date":"2026-07-31T08:31:51.225901","created_date":"2025-10-10T00:00:00"}