{"id":"W2489459579","doi":"10.4018/978-1-61520-655-1.ch030","title":"Process Algebras for Locality","year":2012,"lang":"en","type":"book-chapter","venue":"IGI Global eBooks","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Locality; Process calculus; Computer science; Process (computing); Calculus (dental); Theoretical computer science; Programming language; Medicine; Linguistics; Philosophy","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0005203098,0.000359518,0.0003609253,0.00004544193,0.0001172782,0.0001104881,0.001386114,0.0004357631,0.000009980114],"category_scores_gemma":[0.00005939232,0.0003547512,0.0001909892,0.00002442897,0.00011042,0.0002321691,0.0002299498,0.000212223,0.0001678307],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002332267,"about_ca_system_score_gemma":0.0002220682,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000008183818,"about_ca_topic_score_gemma":0.000004729416,"domain_scores_codex":[0.9981328,0.00002649067,0.0004107288,0.0005830072,0.0004127576,0.0004341656],"domain_scores_gemma":[0.99813,0.00004297425,0.0003341857,0.001050758,0.0002543939,0.000187662],"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.00001093781,0.000007435774,0.000003911799,0.00009479341,0.00002446527,0.000001221833,0.00005480853,0.000001351376,0.000003443303,0.9265661,0.0004702988,0.07276129],"study_design_scores_gemma":[0.0001682136,0.00006862655,0.00002836478,0.00007136016,0.00003430635,0.00002483088,0.000001990997,0.0007989664,0.0005513682,0.9293172,0.06850517,0.0004295749],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"methods","genre_scores_codex":[0.000006620555,0.0002125237,0.4440719,0.00003008107,0.000672286,0.0004613599,0.0000418741,0.0001992149,0.5543041],"genre_scores_gemma":[0.04747661,0.000006128316,0.8830544,0.00168685,0.001446195,0.000320081,0.00001450877,0.0001109925,0.06588428],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.4884198,"threshold_uncertainty_score":0.9998904,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04540552408168338,"score_gpt":0.3172635615950016,"score_spread":0.2718580375133183,"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."}}