{"id":"W1520747543","doi":"10.1007/bfb0023724","title":"Issues arising in the analysis of L.0","year":2005,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"Bell (Canada)","funders":"","keywords":"Executable; Computer science; Asynchronous communication; Programming language; Simple (philosophy); Operator (biology); Theoretical computer science; Telecommunications","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.003011845,0.0006074697,0.0006324943,0.001337344,0.00221252,0.006353382,0.001824031,0.00258098,0.01408594],"category_scores_gemma":[0.01217132,0.0006191133,0.0009334138,0.001906822,0.00848001,0.01092646,0.002949254,0.004685726,0.005105027],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002510807,"about_ca_system_score_gemma":0.001102405,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001890147,"about_ca_topic_score_gemma":0.001758692,"domain_scores_codex":[0.9976496,0.001102753,0.0001202957,0.0004107077,0.0005185779,0.000198199],"domain_scores_gemma":[0.9926028,0.005178954,0.0003789463,0.0008757378,0.0008104887,0.0001529514],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00000850481,0.000006232984,0.00009570239,0.00004631433,0.000004102304,0.00005951359,0.0001792303,0.0003179194,0.0001010887,0.9833662,0.005245166,0.01057006],"study_design_scores_gemma":[0.000001549598,0.000005431891,0.00006757594,0.00002875082,0.000002117391,0.00006295551,0.00005668479,0.001148487,0.0001782003,0.9835253,0.01491793,0.000005025566],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0167678,0.01534307,0.5620503,0.03624226,0.001908437,0.00004783273,0.0002966304,0.0005923779,0.3667514],"genre_scores_gemma":[0.6134542,0.01193437,0.2038885,0.009898424,0.005302951,0.0002388671,0.0006776135,0.001170645,0.1534344],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01408594,"threshold_uncertainty_score":0.04712218,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03234883769730573,"score_gpt":0.3155153802636723,"score_spread":0.2831665425663665,"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."}}