{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004631742,0.001056834,0.001336937,0.00216203,0.003217412,0.01160889,0.002509017,0.002671505,0.006561277],"category_scores_gemma":[0.01170779,0.001309548,0.00195751,0.003289113,0.0120821,0.02273229,0.003244746,0.007675115,0.001993956],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003861822,"about_ca_system_score_gemma":0.002474573,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002063203,"about_ca_topic_score_gemma":0.0009141876,"domain_scores_codex":[0.9961383,0.001511095,0.000275368,0.0006262934,0.001070466,0.0003784451],"domain_scores_gemma":[0.9936286,0.004022321,0.0004565425,0.0009361349,0.0006146092,0.000341805],"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.000009474087,0.000003279438,0.00002680351,0.00002044614,0.00000302996,0.00001162977,0.00007334505,0.0002675175,0.0000677044,0.9964736,0.0007622149,0.002280818],"study_design_scores_gemma":[0.000009318167,0.000004070588,0.00001681394,0.00001472554,0.000006034004,0.00002458827,0.00001872836,0.001607917,0.0001823757,0.991711,0.006397791,0.000006637481],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01621074,0.009279246,0.8676357,0.01620169,0.001374742,0.00008408353,0.0006396124,0.001288849,0.08728538],"genre_scores_gemma":[0.6636998,0.0117068,0.274371,0.004685679,0.004351806,0.0004316382,0.0009141027,0.0007050922,0.03913411],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01160889,"threshold_uncertainty_score":0.02801967,"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."}}