{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001379028,0.00007889881,0.0001150796,0.0000222141,0.0001993129,0.00009349486,0.0003220396,0.00003984506,0.00003288404],"category_scores_gemma":[0.000004162874,0.00006963538,0.00008373962,0.0001221311,0.00002147481,0.0009224815,0.00001282688,0.00005809829,0.00001414659],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002319782,"about_ca_system_score_gemma":0.000007601796,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003296841,"about_ca_topic_score_gemma":0.00006236617,"domain_scores_codex":[0.9992214,0.000009639713,0.000191527,0.0002216981,0.0001125483,0.0002431205],"domain_scores_gemma":[0.9994866,0.00002757847,0.00003550385,0.0003229987,0.00005807199,0.00006925589],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002178069,0.001003763,0.002567454,0.0002969745,0.0000939947,0.000004898887,0.008679636,0.3969997,0.0004669892,0.1820502,0.01757262,0.390242],"study_design_scores_gemma":[0.0002615669,0.00001661714,0.0005268795,0.00000580277,0.000002018335,0.00000162868,0.00001635507,0.9977411,0.0001014775,0.0003638642,0.000866559,0.00009611933],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00972019,0.00002413112,0.9854948,0.0001489668,0.0001465462,0.0002190237,0.00002153978,0.0001678035,0.004057033],"genre_scores_gemma":[0.9561001,0.000001430233,0.04236563,0.00007645999,0.00001368349,0.00004240558,0.000001723963,0.00000342777,0.001395141],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9463799,"threshold_uncertainty_score":0.2839648,"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."}}