{"id":"W2167196910","doi":"10.1109/ssst.1994.287907","title":"Formal model for verifying compatibility among transactions","year":2002,"lang":"en","type":"article","venue":"","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Dalhousie University","funders":"","keywords":"Computer science; Compatibility (geochemistry); Concurrency; Formal verification; Programming language; Theoretical computer science; Model checking","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.004424745,0.001169604,0.0008702828,0.001569601,0.001313616,0.003997376,0.003651121,0.00216762,0.006504199],"category_scores_gemma":[0.01095118,0.001025039,0.002302357,0.00129274,0.00398667,0.008134414,0.002622565,0.003531757,0.001721785],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002708544,"about_ca_system_score_gemma":0.004409506,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004206498,"about_ca_topic_score_gemma":0.003806434,"domain_scores_codex":[0.9943553,0.001582028,0.0006172613,0.0007987327,0.002188491,0.0004581826],"domain_scores_gemma":[0.9921629,0.004307203,0.0006976707,0.001578177,0.001017103,0.0002370513],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001148384,0.000125185,0.0002910691,0.0002416606,0.00003954391,0.0002854813,0.0003340814,0.06315292,0.004759778,0.9068508,0.003129512,0.02067511],"study_design_scores_gemma":[0.0001874751,0.0001374824,0.00009509842,0.0001089197,0.0000702598,0.0002995424,0.0001178541,0.3124745,0.007359044,0.6465636,0.03253329,0.00005286925],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002530094,0.0001171279,0.9925795,0.0004009597,0.00005672453,0.0001147711,0.0001639297,0.0007614758,0.003275482],"genre_scores_gemma":[0.196485,0.0006458125,0.7918957,0.0005496598,0.0002286004,0.0009266664,0.00126051,0.0003294192,0.00767842],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006504199,"threshold_uncertainty_score":0.0234006,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05049759296252718,"score_gpt":0.2471169758886564,"score_spread":0.1966193829261293,"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."}}