{"id":"W3208459334","doi":"10.4230/lipics.disc.2021.36","title":"Extension-Based Proofs for Synchronous Message Passing","year":2021,"lang":"en","type":"article","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Mathematical proof; Computer science; Extension (predicate logic); Message passing; Message broker; Distributed computing; Theoretical computer science; Programming language; Mathematics","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.009726083,0.001247246,0.001020267,0.001386994,0.002100045,0.003416571,0.003141281,0.001345442,0.004609028],"category_scores_gemma":[0.03179569,0.0011276,0.003071767,0.001286325,0.004905524,0.01241541,0.008118705,0.00589721,0.001129246],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002080288,"about_ca_system_score_gemma":0.002117872,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004376814,"about_ca_topic_score_gemma":0.0004024614,"domain_scores_codex":[0.9897749,0.003626455,0.0009298787,0.001571759,0.003015383,0.001081627],"domain_scores_gemma":[0.9564861,0.02854131,0.00301741,0.007035904,0.003868303,0.001050975],"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.0001572837,0.00006802046,0.000489003,0.0003282522,0.00006327205,0.0001936585,0.000604919,0.009993489,0.004333892,0.9629675,0.002416094,0.0183846],"study_design_scores_gemma":[0.0001200512,0.0001442275,0.0002422888,0.0001278568,0.00008003372,0.0002908641,0.000112257,0.04243599,0.01029184,0.9273458,0.01873702,0.00007178324],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02233182,0.0005755798,0.9652474,0.0009351447,0.0002136741,0.0001319261,0.0001846918,0.0007194425,0.009660328],"genre_scores_gemma":[0.5906568,0.001068418,0.3975246,0.001287265,0.0006519833,0.0006602118,0.0005862332,0.0005200474,0.007044442],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009726083,"threshold_uncertainty_score":0.05143702,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02068690051959993,"score_gpt":0.2743864207098398,"score_spread":0.2536995201902399,"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."}}