{"id":"https://openalex.org/keywords/liveness","display_name":"liveness","description":"A correctness property of a computational system requiring that execution can eventually reach a desired state or satisfy a specified condition.","display_name_alternatives":["liveness property"],"ids":{"openalex":"https://openalex.org/keywords/liveness","wikidata":"https://www.wikidata.org/wiki/Q3561421"},"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.2611,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.2611,"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/T11391","display_name":"Theatre and Performance Studies","score":0.1477,"subfield":{"id":"https://openalex.org/subfields/1213","display_name":"Visual Arts and Performing Arts"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.0755,"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"}}],"works_count":3359,"cited_by_count":35630,"works_api_url":"https://api.openalex.org/works?filter=keywords.id:keywords/liveness","updated_date":"2026-10-23T04:06:34","created_date":"2022-04-12T19:38:12"}