{"id":"W39351959","doi":"10.1002/alz.14253","title":"Compositions of Concurrent Processes","year":2006,"lang":"en","type":"article","venue":"Communicating Process Architectures","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"National Institute of Biomedical Imaging and Bioengineering; Canadian Institutes of Health Research; National Institutes of Health; H. Lundbeck A/S; National Institute on Aging; Fujirebio Europe; Pfizer; Novartis Pharmaceuticals Corporation; Biogen; Alzheimer's Drug Discovery Foundation; Merck; Eli Lilly and Company; Servier; GE Healthcare; BioClinica","keywords":"Concurrency; Computer science; Simultaneity; Programming language; Semantics (computer science); Abstraction; Communicating sequential processes; Extension (predicate logic); Theoretical computer science; Observer (physics); Concurrency control; Operational semantics","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005381507,0.001454702,0.0009356002,0.002981248,0.004531939,0.007798713,0.002386807,0.001902601,0.01668764],"category_scores_gemma":[0.01832548,0.001490917,0.003606364,0.001952545,0.006107632,0.01301321,0.007240613,0.002561942,0.003565393],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002313554,"about_ca_system_score_gemma":0.003492351,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005657695,"about_ca_topic_score_gemma":0.005465212,"domain_scores_codex":[0.9917441,0.001943916,0.001104108,0.002291887,0.002087683,0.0008282842],"domain_scores_gemma":[0.9875837,0.004999141,0.001068466,0.00332401,0.002380968,0.0006437078],"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.0001310575,0.0000565084,0.001410307,0.0001979777,0.00006755099,0.0006560903,0.001073308,0.005267858,0.003100338,0.965275,0.001223456,0.02154047],"study_design_scores_gemma":[0.00006110502,0.00005850043,0.0003651054,0.00009952891,0.0001189333,0.000423358,0.0003065236,0.0247813,0.005468859,0.9342782,0.03398667,0.0000519289],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03482978,0.0006703238,0.9214956,0.0007636246,0.0002858276,0.0005315738,0.0005140532,0.001608885,0.0393003],"genre_scores_gemma":[0.4079272,0.001201369,0.5549809,0.0004109023,0.000389097,0.001033495,0.001891144,0.0008208549,0.03134503],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01668764,"threshold_uncertainty_score":0.05582571,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02591563103077952,"score_gpt":0.3251006370316497,"score_spread":0.2991850060008702,"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."}}