{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002072568,0.0009957207,0.0006883998,0.002261529,0.001077933,0.0023993,0.001625092,0.0008088459,0.01467978],"category_scores_gemma":[0.009619105,0.0007389417,0.00156734,0.001810537,0.001524549,0.003164914,0.002857831,0.002952277,0.004233396],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001136096,"about_ca_system_score_gemma":0.001681778,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001395393,"about_ca_topic_score_gemma":0.001094627,"domain_scores_codex":[0.9970075,0.0007766053,0.0001685502,0.0003666692,0.001464218,0.0002164512],"domain_scores_gemma":[0.9956949,0.00180317,0.0002162021,0.001297918,0.0009293653,0.0000584269],"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.0001806381,0.000141689,0.001092738,0.0003771463,0.0000624667,0.0005462462,0.0007965583,0.01902725,0.01584016,0.6477652,0.0141458,0.3000241],"study_design_scores_gemma":[0.00007105161,0.00005720286,0.0003163289,0.000150878,0.00005525542,0.0004526554,0.0001985504,0.2309673,0.04726534,0.6305448,0.0898675,0.00005321372],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001650931,0.000107245,0.9864947,0.0001422038,0.00005344473,0.00007889006,0.0001391,0.005524334,0.005809199],"genre_scores_gemma":[0.152059,0.0006052353,0.8277397,0.0002659448,0.0001218846,0.0004820918,0.0015797,0.006161439,0.01098501],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01467978,"threshold_uncertainty_score":0.0491088,"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."}}