{"id":"W4211221909","doi":"10.1007/978-3-662-04558-9_9","title":"Deadlock-freeness","year":2001,"lang":"en","type":"book-chapter","venue":"","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Montréal; Computer Research Institute of Montréal","funders":"","keywords":"Deadlock; Correctness; Property (philosophy); Deadlock prevention algorithms; Computer science; Set (abstract data type); Theoretical computer science; Programming language; Philosophy; Epistemology","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0001134512,0.0003015067,0.0003616523,0.00008045052,0.00007369913,0.0001877049,0.001408991,0.0002904284,0.0004192911],"category_scores_gemma":[0.000003557003,0.0002615732,0.0001533321,0.00005176721,0.00003267117,0.0001913468,0.000270287,0.0002129563,0.001498227],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000512659,"about_ca_system_score_gemma":0.00007577393,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004021121,"about_ca_topic_score_gemma":0.00003090658,"domain_scores_codex":[0.9984769,0.000007158135,0.0003238339,0.0005520021,0.0003717018,0.000268461],"domain_scores_gemma":[0.9984535,0.00002625626,0.000143384,0.001128096,0.0001244861,0.0001242931],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[6.661584e-7,0.000005423347,0.000003352735,0.00001247655,0.0000186637,0.00008423752,0.000008746313,0.000006616782,0.000001191234,0.9292706,0.03454395,0.03604408],"study_design_scores_gemma":[0.0001187104,0.00001900859,0.00001158945,0.00009244565,0.000005064772,0.0000635116,7.343469e-7,0.001042512,0.000006575152,0.02961889,0.9686718,0.0003491531],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[3.833894e-7,0.0003793805,0.3684487,0.0001771887,0.0004555662,0.00009328194,0.00001407856,0.0002137106,0.6302177],"genre_scores_gemma":[0.0009656723,0.00008001224,0.002542587,0.0003585286,0.0002491734,0.000006937846,0.00002141172,0.00002436925,0.9957513],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.9341279,"threshold_uncertainty_score":0.9999837,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01831930581308402,"score_gpt":0.2197034437370035,"score_spread":0.2013841379239195,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}