{"id":"W2003852722","doi":"10.1016/j.scico.2007.11.005","title":"The logic of message-passing","year":2009,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Calgary","funders":"","keywords":"Computer science; Message passing; Notation; Programming language; Operational semantics; Equivalence (formal languages); Semantics (computer science); Proof theory; Theoretical computer science; Logic programming; Term (time); Calculus (dental); Algorithm; Discrete mathematics; Mathematics; Mathematical proof","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":[],"consensus_categories":[],"category_scores_codex":[0.002255392,0.00016313,0.0002656348,0.000173257,0.000538422,0.0005444832,0.002815275,0.00004840175,8.697828e-7],"category_scores_gemma":[0.00006239158,0.0001045129,0.0001214356,0.001629203,0.0008645515,0.0007235367,0.0003670923,0.0001290528,0.000004208955],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003564957,"about_ca_system_score_gemma":0.0002036754,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002374216,"about_ca_topic_score_gemma":0.000002741394,"domain_scores_codex":[0.9974905,0.0000775977,0.00050829,0.0004606761,0.0008500663,0.0006128975],"domain_scores_gemma":[0.9981565,0.0001236847,0.0004154964,0.0008182391,0.0003679494,0.000118127],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000001497973,0.00004802473,0.0001107454,0.000009781002,0.00000384903,0.000002446934,0.0004203992,0.00004683988,0.0009214202,0.396355,0.00004283158,0.6020372],"study_design_scores_gemma":[0.00187709,0.005290919,0.01921295,0.0002105079,0.00005080122,0.0002734664,0.0006852417,0.2537733,0.07049117,0.5546876,0.09164733,0.001799666],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004777877,0.0004694303,0.9907817,0.0009698552,0.0008657376,0.0003236817,7.748775e-8,0.0001505676,0.001661066],"genre_scores_gemma":[0.8587956,0.000006282375,0.140989,0.00009194084,0.00007877639,0.000004717212,1.889715e-7,0.00000347988,0.00003001104],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8540177,"threshold_uncertainty_score":0.5250464,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02187553062832526,"score_gpt":0.2702122055431208,"score_spread":0.2483366749147955,"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."}}