{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001215381,0.0005349613,0.0007255659,0.0003087705,0.0005659847,0.0009796859,0.001499015,0.0003528174,0.00001635053],"category_scores_gemma":[0.0003808417,0.0005040984,0.0004726801,0.0005295206,0.0001064617,0.001821072,0.0004367749,0.0003693106,0.00005174445],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003138747,"about_ca_system_score_gemma":0.0005552669,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007854315,"about_ca_topic_score_gemma":0.00001236343,"domain_scores_codex":[0.9960531,0.0001057163,0.001506408,0.0005961137,0.0006744443,0.001064237],"domain_scores_gemma":[0.9956549,0.0005330843,0.0006594288,0.001829866,0.001050079,0.0002726861],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0006696521,0.004954896,0.005028046,0.02129968,0.001597116,0.0005087571,0.03655842,0.00233729,0.02464399,0.2664583,0.1951057,0.4408382],"study_design_scores_gemma":[0.005179442,0.0007575975,0.0002166469,0.001332434,0.00009216171,0.0003131806,0.0007465442,0.7370398,0.1187686,0.00706444,0.126756,0.001733085],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.005128094,0.0001678826,0.9871919,0.0006963898,0.001025232,0.002387653,0.0002150489,0.0009636335,0.002224164],"genre_scores_gemma":[0.4865682,0.00000969447,0.5093188,0.002192943,0.0001980212,0.0008927786,0.0003114567,0.00008721183,0.0004209618],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7347025,"threshold_uncertainty_score":0.9997411,"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."}}