{"id":"W2243405571","doi":"10.1007/978-3-319-09581-3_5","title":"Linearizability Is Not Always a Safety Property","year":2014,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":false,"ca_institutions":"York University","funders":"","keywords":"Linearizability; Property (philosophy); Computer science; Consistency (knowledge bases); Counterexample; Object (grammar); Zeno's paradoxes; Lemma (botany); Theoretical computer science; Discrete mathematics; Algorithm; Mathematics; Artificial intelligence","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009234801,0.0005038041,0.0005964467,0.0004907416,0.001157202,0.002010648,0.0008629826,0.001097013,0.0142096],"category_scores_gemma":[0.00401549,0.000572258,0.0007208844,0.0006010609,0.002983697,0.007719651,0.001711287,0.003233344,0.00300712],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005416485,"about_ca_system_score_gemma":0.0005664833,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002946081,"about_ca_topic_score_gemma":0.0004375729,"domain_scores_codex":[0.9989906,0.0001456672,0.00007623262,0.0003717545,0.0002361271,0.0001796256],"domain_scores_gemma":[0.9930556,0.004278641,0.0005055911,0.001304828,0.0006822258,0.0001730729],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001685259,0.00007987057,0.001050874,0.000426324,0.00004688136,0.0002839015,0.0007127597,0.002526625,0.009347295,0.9132439,0.01454589,0.05756702],"study_design_scores_gemma":[0.00002628955,0.00005965496,0.0004259044,0.00004741394,0.00002650146,0.0002656062,0.000138296,0.002539868,0.005906914,0.9742396,0.01630559,0.00001842959],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1446068,0.003002135,0.492069,0.01255828,0.001600898,0.0001106506,0.000673985,0.003489165,0.3418891],"genre_scores_gemma":[0.8785759,0.001138773,0.03594952,0.002179918,0.0009864061,0.0002375097,0.0005687727,0.0006854022,0.07967785],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.0142096,"threshold_uncertainty_score":0.04753584,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01765317536997684,"score_gpt":0.2345639984007586,"score_spread":0.2169108230307818,"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."}}