{"id":"https://openalex.org/W2149804827","doi":"https://doi.org/10.1016/0020-0190(91)90168-h","title":"Preserving liveness: Comments on \u201csafety and liveness from a methodological point of view\u201d","display_name":"Preserving liveness: Comments on \u201csafety and liveness from a methodological point of view\u201d","publication_year":1991,"publication_date":"1991-11-01","ids":{"openalex":"https://openalex.org/W2149804827","doi":"https://doi.org/10.1016/0020-0190(91)90168-h","mag":"2149804827"},"language":"en","primary_location":{"id":"doi:10.1016/0020-0190(91)90168-h","is_oa":false,"landing_page_url":"https://doi.org/10.1016/0020-0190(91)90168-h","pdf_url":null,"source":{"id":"https://openalex.org/S147953040","display_name":"Information Processing Letters","issn_l":"0020-0190","issn":["0020-0190","1872-6119"],"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":"Information Processing Letters","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://ir.cwi.nl/pub/2004/2004D.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5109387322","display_name":"Mart\u0131\u0301n Abadi","orcid":null},"institutions":[{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"facility","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832","https://openalex.org/I4405262988"]},{"id":"https://openalex.org/I174306211","display_name":"Technion \u2013 Israel Institute of Technology","ror":"https://ror.org/03qryx823","country_code":"IL","type":"education","lineage":["https://openalex.org/I174306211"]},{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]},{"id":"https://openalex.org/I4210114115","display_name":"IBM Research - Thomas J. Watson Research Center","ror":"https://ror.org/0265w5591","country_code":"US","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115"]}],"countries":["IL","NL","US"],"is_corresponding":true,"raw_author_name":"Mart\u00edn Abadi","raw_affiliation_strings":["IBM, Thomas J. Watson Research Center, P.O. Box 218, Yorktown Heights, NY 10598, USA","Digital Equipment Corporation, Systems Research Center, 130 Lytton Avenue, Palo Alto, CA 94301, USA","Centrum voor Wzskunde en Informatica, Kruislaan 413, 1098 Sf Amsterdam, Netherlands","Department of Computer Science, Cornell University, 4130 Upson Hall, Ithaca, NY 14853, USA","Department of Computer Science, Technion -Israel Institute of Technology, Technion City, Haifa 32000, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IBM, Thomas J. Watson Research Center, P.O. Box 218, Yorktown Heights, NY 10598, USA","institution_ids":["https://openalex.org/I4210114115"]},{"raw_affiliation_string":"Digital Equipment Corporation, Systems Research Center, 130 Lytton Avenue, Palo Alto, CA 94301, USA","institution_ids":[]},{"raw_affiliation_string":"Centrum voor Wzskunde en Informatica, Kruislaan 413, 1098 Sf Amsterdam, Netherlands","institution_ids":["https://openalex.org/I1341640284"]},{"raw_affiliation_string":"Department of Computer Science, Cornell University, 4130 Upson Hall, Ithaca, NY 14853, USA","institution_ids":["https://openalex.org/I205783295"]},{"raw_affiliation_string":"Department of Computer Science, Technion -Israel Institute of Technology, Technion City, Haifa 32000, Israel","institution_ids":["https://openalex.org/I174306211"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021246811","display_name":"Bowen Alpern","orcid":null},"institutions":[{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"facility","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832","https://openalex.org/I4405262988"]},{"id":"https://openalex.org/I174306211","display_name":"Technion \u2013 Israel Institute of Technology","ror":"https://ror.org/03qryx823","country_code":"IL","type":"education","lineage":["https://openalex.org/I174306211"]},{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]},{"id":"https://openalex.org/I4210114115","display_name":"IBM Research - Thomas J. Watson Research Center","ror":"https://ror.org/0265w5591","country_code":"US","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115"]}],"countries":["IL","NL","US"],"is_corresponding":false,"raw_author_name":"Bowen Alpern","raw_affiliation_strings":["Department of Computer Science, Technion -Israel Institute of Technology, Technion City, Haifa 32000, Israel","Digital Equipment Corporation, Systems Research Center, 130 Lytton Avenue, Palo Alto, CA 94301, USA","Department of Computer Science, Cornell University, 4130 Upson Hall, Ithaca, NY 14853, USA","IBM, Thomas J. Watson Research Center, P.O. Box 218, Yorktown Heights, NY 10598, USA","Centrum voor Wzskunde en Informatica, Kruislaan 413, 1098 Sf Amsterdam, Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Technion -Israel Institute of Technology, Technion City, Haifa 32000, Israel","institution_ids":["https://openalex.org/I174306211"]},{"raw_affiliation_string":"Digital Equipment Corporation, Systems Research Center, 130 Lytton Avenue, Palo Alto, CA 94301, USA","institution_ids":[]},{"raw_affiliation_string":"Department of Computer Science, Cornell University, 4130 Upson Hall, Ithaca, NY 14853, USA","institution_ids":["https://openalex.org/I205783295"]},{"raw_affiliation_string":"IBM, Thomas J. Watson Research Center, P.O. Box 218, Yorktown Heights, NY 10598, USA","institution_ids":["https://openalex.org/I4210114115"]},{"raw_affiliation_string":"Centrum voor Wzskunde en Informatica, Kruislaan 413, 1098 Sf Amsterdam, Netherlands","institution_ids":["https://openalex.org/I1341640284"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042418599","display_name":"Krzysztof R. Apt","orcid":"https://orcid.org/0000-0002-1332-4229"},"institutions":[{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"facility","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832","https://openalex.org/I4405262988"]},{"id":"https://openalex.org/I174306211","display_name":"Technion \u2013 Israel Institute of Technology","ror":"https://ror.org/03qryx823","country_code":"IL","type":"education","lineage":["https://openalex.org/I174306211"]},{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]},{"id":"https://openalex.org/I4210114115","display_name":"IBM Research - Thomas J. Watson Research Center","ror":"https://ror.org/0265w5591","country_code":"US","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115"]}],"countries":["IL","NL","US"],"is_corresponding":false,"raw_author_name":"Krzysztof R. Apt","raw_affiliation_strings":["IBM, Thomas J. Watson Research Center, P.O. Box 218, Yorktown Heights, NY 10598, USA","Digital Equipment Corporation, Systems Research Center, 130 Lytton Avenue, Palo Alto, CA 94301, USA","Department of Computer Science, Cornell University, 4130 Upson Hall, Ithaca, NY 14853, USA","Department of Computer Science, Technion -Israel Institute of Technology, Technion City, Haifa 32000, Israel","Centrum voor Wzskunde en Informatica, Kruislaan 413, 1098 Sf Amsterdam, Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IBM, Thomas J. Watson Research Center, P.O. Box 218, Yorktown Heights, NY 10598, USA","institution_ids":["https://openalex.org/I4210114115"]},{"raw_affiliation_string":"Digital Equipment Corporation, Systems Research Center, 130 Lytton Avenue, Palo Alto, CA 94301, USA","institution_ids":[]},{"raw_affiliation_string":"Department of Computer Science, Cornell University, 4130 Upson Hall, Ithaca, NY 14853, USA","institution_ids":["https://openalex.org/I205783295"]},{"raw_affiliation_string":"Department of Computer Science, Technion -Israel Institute of Technology, Technion City, Haifa 32000, Israel","institution_ids":["https://openalex.org/I174306211"]},{"raw_affiliation_string":"Centrum voor Wzskunde en Informatica, Kruislaan 413, 1098 Sf Amsterdam, Netherlands","institution_ids":["https://openalex.org/I1341640284"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065931607","display_name":"Nissim Francez","orcid":"https://orcid.org/0000-0002-6993-4392"},"institutions":[{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"facility","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832","https://openalex.org/I4405262988"]},{"id":"https://openalex.org/I174306211","display_name":"Technion \u2013 Israel Institute of Technology","ror":"https://ror.org/03qryx823","country_code":"IL","type":"education","lineage":["https://openalex.org/I174306211"]},{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]},{"id":"https://openalex.org/I4210114115","display_name":"IBM Research - Thomas J. Watson Research Center","ror":"https://ror.org/0265w5591","country_code":"US","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115"]}],"countries":["IL","NL","US"],"is_corresponding":false,"raw_author_name":"Nissim Francez","raw_affiliation_strings":["Department of Computer Science, Cornell University, 4130 Upson Hall, Ithaca, NY 14853, USA","Digital Equipment Corporation, Systems Research Center, 130 Lytton Avenue, Palo Alto, CA 94301, USA","IBM, Thomas J. Watson Research Center, P.O. Box 218, Yorktown Heights, NY 10598, USA","Department of Computer Science, Technion -Israel Institute of Technology, Technion City, Haifa 32000, Israel","Centrum voor Wzskunde en Informatica, Kruislaan 413, 1098 Sf Amsterdam, Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Cornell University, 4130 Upson Hall, Ithaca, NY 14853, USA","institution_ids":["https://openalex.org/I205783295"]},{"raw_affiliation_string":"Digital Equipment Corporation, Systems Research Center, 130 Lytton Avenue, Palo Alto, CA 94301, USA","institution_ids":[]},{"raw_affiliation_string":"IBM, Thomas J. Watson Research Center, P.O. Box 218, Yorktown Heights, NY 10598, USA","institution_ids":["https://openalex.org/I4210114115"]},{"raw_affiliation_string":"Department of Computer Science, Technion -Israel Institute of Technology, Technion City, Haifa 32000, Israel","institution_ids":["https://openalex.org/I174306211"]},{"raw_affiliation_string":"Centrum voor Wzskunde en Informatica, Kruislaan 413, 1098 Sf Amsterdam, Netherlands","institution_ids":["https://openalex.org/I1341640284"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055894990","display_name":"Shmuel Katz","orcid":"https://orcid.org/0000-0002-7065-8823"},"institutions":[{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"facility","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832","https://openalex.org/I4405262988"]},{"id":"https://openalex.org/I174306211","display_name":"Technion \u2013 Israel Institute of Technology","ror":"https://ror.org/03qryx823","country_code":"IL","type":"education","lineage":["https://openalex.org/I174306211"]},{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]},{"id":"https://openalex.org/I4210114115","display_name":"IBM Research - Thomas J. Watson Research Center","ror":"https://ror.org/0265w5591","country_code":"US","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115"]}],"countries":["IL","NL","US"],"is_corresponding":false,"raw_author_name":"Shmuel Katz","raw_affiliation_strings":["Department of Computer Science, Cornell University, 4130 Upson Hall, Ithaca, NY 14853, USA","Department of Computer Science, Technion -Israel Institute of Technology, Technion City, Haifa 32000, Israel","Digital Equipment Corporation, Systems Research Center, 130 Lytton Avenue, Palo Alto, CA 94301, USA","IBM, Thomas J. Watson Research Center, P.O. Box 218, Yorktown Heights, NY 10598, USA","Centrum voor Wzskunde en Informatica, Kruislaan 413, 1098 Sf Amsterdam, Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Cornell University, 4130 Upson Hall, Ithaca, NY 14853, USA","institution_ids":["https://openalex.org/I205783295"]},{"raw_affiliation_string":"Department of Computer Science, Technion -Israel Institute of Technology, Technion City, Haifa 32000, Israel","institution_ids":["https://openalex.org/I174306211"]},{"raw_affiliation_string":"Digital Equipment Corporation, Systems Research Center, 130 Lytton Avenue, Palo Alto, CA 94301, USA","institution_ids":[]},{"raw_affiliation_string":"IBM, Thomas J. Watson Research Center, P.O. Box 218, Yorktown Heights, NY 10598, USA","institution_ids":["https://openalex.org/I4210114115"]},{"raw_affiliation_string":"Centrum voor Wzskunde en Informatica, Kruislaan 413, 1098 Sf Amsterdam, Netherlands","institution_ids":["https://openalex.org/I1341640284"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040623453","display_name":"Leslie Lamport","orcid":null},"institutions":[{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"facility","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832","https://openalex.org/I4405262988"]},{"id":"https://openalex.org/I174306211","display_name":"Technion \u2013 Israel Institute of Technology","ror":"https://ror.org/03qryx823","country_code":"IL","type":"education","lineage":["https://openalex.org/I174306211"]},{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]},{"id":"https://openalex.org/I4210114115","display_name":"IBM Research - Thomas J. Watson Research Center","ror":"https://ror.org/0265w5591","country_code":"US","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115"]}],"countries":["IL","NL","US"],"is_corresponding":false,"raw_author_name":"Leslie Lamport","raw_affiliation_strings":["Centrum voor Wzskunde en Informatica, Kruislaan 413, 1098 Sf Amsterdam, Netherlands","IBM, Thomas J. Watson Research Center, P.O. Box 218, Yorktown Heights, NY 10598, USA","Department of Computer Science, Technion -Israel Institute of Technology, Technion City, Haifa 32000, Israel","Digital Equipment Corporation, Systems Research Center, 130 Lytton Avenue, Palo Alto, CA 94301, USA","Department of Computer Science, Cornell University, 4130 Upson Hall, Ithaca, NY 14853, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centrum voor Wzskunde en Informatica, Kruislaan 413, 1098 Sf Amsterdam, Netherlands","institution_ids":["https://openalex.org/I1341640284"]},{"raw_affiliation_string":"IBM, Thomas J. Watson Research Center, P.O. Box 218, Yorktown Heights, NY 10598, USA","institution_ids":["https://openalex.org/I4210114115"]},{"raw_affiliation_string":"Department of Computer Science, Technion -Israel Institute of Technology, Technion City, Haifa 32000, Israel","institution_ids":["https://openalex.org/I174306211"]},{"raw_affiliation_string":"Digital Equipment Corporation, Systems Research Center, 130 Lytton Avenue, Palo Alto, CA 94301, USA","institution_ids":[]},{"raw_affiliation_string":"Department of Computer Science, Cornell University, 4130 Upson Hall, Ithaca, NY 14853, USA","institution_ids":["https://openalex.org/I205783295"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111485228","display_name":"Fred B. Schneider","orcid":"https://orcid.org/0009-0001-4902-018X"},"institutions":[{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"facility","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832","https://openalex.org/I4405262988"]},{"id":"https://openalex.org/I174306211","display_name":"Technion \u2013 Israel Institute of Technology","ror":"https://ror.org/03qryx823","country_code":"IL","type":"education","lineage":["https://openalex.org/I174306211"]},{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]},{"id":"https://openalex.org/I4210114115","display_name":"IBM Research - Thomas J. Watson Research Center","ror":"https://ror.org/0265w5591","country_code":"US","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115"]}],"countries":["IL","NL","US"],"is_corresponding":false,"raw_author_name":"Fred B. Schneider","raw_affiliation_strings":["Centrum voor Wzskunde en Informatica, Kruislaan 413, 1098 Sf Amsterdam, Netherlands","Digital Equipment Corporation, Systems Research Center, 130 Lytton Avenue, Palo Alto, CA 94301, USA","IBM, Thomas J. Watson Research Center, P.O. Box 218, Yorktown Heights, NY 10598, USA","Department of Computer Science, Cornell University, 4130 Upson Hall, Ithaca, NY 14853, USA","Department of Computer Science, Technion -Israel Institute of Technology, Technion City, Haifa 32000, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centrum voor Wzskunde en Informatica, Kruislaan 413, 1098 Sf Amsterdam, Netherlands","institution_ids":["https://openalex.org/I1341640284"]},{"raw_affiliation_string":"Digital Equipment Corporation, Systems Research Center, 130 Lytton Avenue, Palo Alto, CA 94301, USA","institution_ids":[]},{"raw_affiliation_string":"IBM, Thomas J. Watson Research Center, P.O. Box 218, Yorktown Heights, NY 10598, USA","institution_ids":["https://openalex.org/I4210114115"]},{"raw_affiliation_string":"Department of Computer Science, Cornell University, 4130 Upson Hall, Ithaca, NY 14853, USA","institution_ids":["https://openalex.org/I205783295"]},{"raw_affiliation_string":"Department of Computer Science, Technion -Israel Institute of Technology, Technion City, Haifa 32000, Israel","institution_ids":["https://openalex.org/I174306211"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5109387322"],"corresponding_institution_ids":["https://openalex.org/I1341640284","https://openalex.org/I174306211","https://openalex.org/I205783295","https://openalex.org/I4210114115"],"apc_list":{"value":2200,"currency":"USD","value_usd":2200},"apc_paid":null,"fwci":0.513,"has_fulltext":true,"cited_by_count":10,"citation_normalized_percentile":{"value":0.67249019,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"40","issue":"3","first_page":"141","last_page":"142"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"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"}},"topics":[{"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9991000294685364,"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.9984999895095825,"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/liveness","display_name":"Liveness","score":0.9958629608154297},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6016799211502075},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.547898530960083},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4361609220504761},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.27352702617645264}],"concepts":[{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.9958629608154297},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6016799211502075},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.547898530960083},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4361609220504761},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.27352702617645264},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1016/0020-0190(91)90168-h","is_oa":false,"landing_page_url":"https://doi.org/10.1016/0020-0190(91)90168-h","pdf_url":null,"source":{"id":"https://openalex.org/S147953040","display_name":"Information Processing Letters","issn_l":"0020-0190","issn":["0020-0190","1872-6119"],"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":"Information Processing Letters","raw_type":"journal-article"},{"id":"pmh:oai:cwi.nl:2004","is_oa":true,"landing_page_url":"https://ir.cwi.nl/pub/2004","pdf_url":"https://ir.cwi.nl/pub/2004/2004D.pdf","source":{"id":"https://openalex.org/S7407055335","display_name":"Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands","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":"Information Processing Letters vol. 40 no. 3, pp. 141-142","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:cwi.nl:2004","is_oa":true,"landing_page_url":"https://ir.cwi.nl/pub/2004","pdf_url":"https://ir.cwi.nl/pub/2004/2004D.pdf","source":{"id":"https://openalex.org/S7407055335","display_name":"Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands","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":"Information Processing Letters vol. 40 no. 3, pp. 141-142","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2894525321","display_name":"Assertional Methods for Analyzing and Deriving              Fault-Tolerant, Real-time, Concurrent Programs","funder_award_id":"9014363","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4610678294","display_name":"Research on Concurrency and Distributed Systems","funder_award_id":"8701103","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5108021100","display_name":null,"funder_award_id":"CCR-8701103","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6497581539","display_name":null,"funder_award_id":"N00014-86-K-0092","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G7703955750","display_name":null,"funder_award_id":"CCR-9014363","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8876996369","display_name":null,"funder_award_id":"N00014","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2149804827.pdf","grobid_xml":"https://content.openalex.org/works/W2149804827.grobid-xml"},"referenced_works_count":5,"referenced_works":["https://openalex.org/W1964796077","https://openalex.org/W1988698742","https://openalex.org/W1989877393","https://openalex.org/W2132107743","https://openalex.org/W2914206182"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2081199208","https://openalex.org/W1565271071","https://openalex.org/W3349016","https://openalex.org/W3160870209","https://openalex.org/W2139648957","https://openalex.org/W1481041875","https://openalex.org/W2391970076","https://openalex.org/W2053262709"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-30T06:05:26.967640","created_date":"2025-10-10T00:00:00"}