{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001819792,0.001027659,0.0007114185,0.001748821,0.002186138,0.003889677,0.001427885,0.001861637,0.01711344],"category_scores_gemma":[0.002731598,0.0005491839,0.001572625,0.002253546,0.005076315,0.01288121,0.0026245,0.005244433,0.0053773],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003124492,"about_ca_system_score_gemma":0.001853244,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002029688,"about_ca_topic_score_gemma":0.001747902,"domain_scores_codex":[0.9984403,0.0005032151,0.00008956654,0.0002323002,0.0006093531,0.0001251147],"domain_scores_gemma":[0.9987422,0.0006525541,0.00007246038,0.0002626801,0.000205659,0.00006449728],"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.00000131365,0.000002557605,0.000006447737,0.00003334479,0.000001396684,0.00001420653,0.0001477795,0.0001774371,0.00009184456,0.9950276,0.001343676,0.003152343],"study_design_scores_gemma":[0.000003042821,0.00000543781,0.00002122052,0.00007095905,0.000004183864,0.00008350978,0.00006279834,0.001044876,0.0001960092,0.8768837,0.1216175,0.000006712173],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"methods","genre_scores_codex":[0.002944844,0.0347364,0.441039,0.005267093,0.001446384,0.0001456439,0.0002456545,0.0009335753,0.5132414],"genre_scores_gemma":[0.3092212,0.05094898,0.3124049,0.007784796,0.003906239,0.0008866728,0.000904916,0.0009999509,0.3129424],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.01711344,"threshold_uncertainty_score":0.0572502,"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."}}