{"id":"W2058843773","doi":"10.1016/j.entcs.2005.05.012","title":"Source Transformation for Concurrency Analysis","year":2005,"lang":"en","type":"article","venue":"Electronic Notes in Theoretical Computer Science","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Computer science; Concurrency; Java; Programming language; Deadlock; Debugging; Concurrent object-oriented programming; Distributed computing; Operating system; Programming paradigm","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.001883871,0.000178508,0.0002956136,0.0003771037,0.0002497465,0.0003349466,0.001823628,0.00006232676,0.00001407248],"category_scores_gemma":[0.00008237935,0.000157276,0.0001535747,0.003094743,0.0005666367,0.0009691711,0.0001329388,0.0002156647,0.00001886435],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002370963,"about_ca_system_score_gemma":0.0002126321,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005527869,"about_ca_topic_score_gemma":0.00002059342,"domain_scores_codex":[0.9973819,0.00006892606,0.000449669,0.0006641389,0.0004775708,0.0009577975],"domain_scores_gemma":[0.998738,0.0003287169,0.00008472447,0.0005595964,0.0001531917,0.0001357509],"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.000004634673,0.00004503565,0.00007484052,0.000004829023,0.00001150619,2.169866e-7,0.0004707951,0.008616195,0.00008330181,0.7941304,0.000005413699,0.1965528],"study_design_scores_gemma":[0.0003905,0.0001459502,0.0002714985,0.00001232848,0.00001525818,0.000006568754,0.000002719711,0.9566229,0.002298401,0.03759012,0.002431508,0.0002122298],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01496387,0.0001649846,0.9821184,0.00179025,0.0001706496,0.0003058315,0.000004049924,0.0001166203,0.0003654035],"genre_scores_gemma":[0.9578435,0.000007136756,0.04170059,0.0002924593,0.0001060761,0.00003627606,0.000004632334,0.00000493991,0.00000435432],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9480067,"threshold_uncertainty_score":0.6413531,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.005884489380710531,"score_gpt":0.2585829952196382,"score_spread":0.2526985058389277,"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."}}