{"id":"W2042734235","doi":"10.1007/s00446-012-0158-8","title":"Partial synchrony based on set timeliness","year":2012,"lang":"en","type":"article","venue":"Distributed Computing","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"Agence Nationale de la Recherche","keywords":"Generalization; Set (abstract data type); Simple (philosophy); Simplicity; Computer science; Theory of computation; Agreement; Theoretical computer science; Discrete mathematics; Algorithm; Mathematics; Programming language; Physics","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.003295772,0.0008286234,0.002010681,0.001950693,0.001372597,0.002795924,0.002192557,0.001097519,0.006389798],"category_scores_gemma":[0.01735171,0.0006932407,0.001107389,0.002113318,0.00240315,0.005206048,0.003494803,0.002081925,0.0008511369],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001342577,"about_ca_system_score_gemma":0.001495955,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001211853,"about_ca_topic_score_gemma":0.00116665,"domain_scores_codex":[0.9970478,0.0007372797,0.0002338529,0.0006549923,0.001038154,0.0002878575],"domain_scores_gemma":[0.9787587,0.01155428,0.001817335,0.004817673,0.00203189,0.001020094],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.001136928,0.0000935045,0.001485302,0.0002300609,0.0001020656,0.0002577479,0.0004938971,0.1678347,0.008209985,0.7476475,0.003806728,0.0687016],"study_design_scores_gemma":[0.0001504787,0.0002202037,0.000341663,0.0000335975,0.00009217816,0.0001576785,0.00008944564,0.5768275,0.004710463,0.4130093,0.004314118,0.00005331221],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03284977,0.0002533627,0.9596345,0.0002822702,0.0001852335,0.00009642597,0.0002126126,0.0009318999,0.005553859],"genre_scores_gemma":[0.8332646,0.0004123785,0.1588831,0.0002241,0.0003885858,0.0003050886,0.0005142931,0.0004606252,0.005547211],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006389798,"threshold_uncertainty_score":0.02137601,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02008877577624257,"score_gpt":0.2676204534354973,"score_spread":0.2475316776592548,"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."}}