{"meta":{"query_hash":"ac1df88c4362","filters":{"venue":"Communicating Process Architectures"},"cohort_total":1,"direct_labels_cover":0,"predictions_cover":1,"exported":1,"export_cap":100000,"truncated":false,"label_status":"direct model label, unvalidated","prediction_status":"machine_predicted_unvalidated (Codex and Gemma teacher distillation)","score_status":"score_only:v0-immature-baseline","snapshot":{"source":"OpenAlex, pinned release, all 482 partitions","release":"2026-06-24","frame_built":"2026-07-12"},"permalink":"https://metacan.xera.ac/q/ac1df88c4362","api":"https://metacan.xera.ac/api/v1/cohort?venue=Communicating+Process+Architectures"},"results":[{"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,"route_ca_aff":false,"route_ca_fund":true,"route_ca_venue":false,"route_about_ca":false,"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","score_opus":0.025915631030779516,"score_gpt":0.3251006370316497,"score_spread":0.29918500600087017,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W39351959","genre_codex":"methods","genre_gemma":"methods","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"methods","genre_consensus":"methods","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.034829777,0.00067032385,0.92149556,0.00076362456,0.00028582758,0.00053157384,0.00051405316,0.0016088855,0.039300304],"genre_scores_gemma":[0.40792724,0.0012013685,0.55498093,0.00041090228,0.000389097,0.0010334951,0.0018911441,0.0008208549,0.03134503],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9917441,0.0019439163,0.0011041077,0.0022918873,0.002087683,0.00082828425],"domain_scores_gemma":[0.9875837,0.004999141,0.0010684655,0.0033240097,0.0023809683,0.0006437078],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005381507,0.001454702,0.0009356002,0.0029812483,0.0045319386,0.0077987127,0.0023868072,0.0019026009,0.016687637],"category_scores_gemma":[0.018325476,0.0014909174,0.003606364,0.0019525449,0.006107632,0.013013212,0.0072406125,0.0025619417,0.003565393],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00013105746,0.000056508397,0.0014103071,0.00019797769,0.000067550995,0.00065609027,0.0010733078,0.0052678576,0.0031003377,0.96527505,0.0012234559,0.021540467],"study_design_scores_gemma":[0.00006110502,0.00005850043,0.00036510537,0.00009952891,0.00011893332,0.00042335803,0.00030652355,0.0247813,0.0054688593,0.93427825,0.033986673,0.000051928895],"about_ca_topic_score_codex":0.005657695,"about_ca_topic_score_gemma":0.005465212,"teacher_disagreement_score":0.016687637,"about_ca_system_score_codex":0.0023135538,"about_ca_system_score_gemma":0.0034923507,"threshold_uncertainty_score":0.05582571},"labels":[],"label_agreement":null}]}