{"id":"W2147045827","doi":"10.1007/s00165-005-0082-9","title":"A formal approach to property testing in causally consistent distributed traces","year":2006,"lang":"en","type":"article","venue":"Formal Aspects of Computing","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":true,"ca_institutions":"Computer Research Institute of Montréal","funders":"","keywords":"TRACE (psycholinguistics); Computer science; Theory of computation; Automaton; Property (philosophy); Consistency (knowledge bases); Model checking; Causality (physics); Theoretical computer science; Programming language; Event (particle physics); Formal methods; Artificial intelligence","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.009056193,0.0009722299,0.0008222097,0.00239902,0.001161693,0.003433842,0.003460031,0.001533259,0.002796126],"category_scores_gemma":[0.02396475,0.001025356,0.001792614,0.001546953,0.007478043,0.005410927,0.002918166,0.003080041,0.0003068343],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002390568,"about_ca_system_score_gemma":0.003603893,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004564278,"about_ca_topic_score_gemma":0.003557869,"domain_scores_codex":[0.9918521,0.00319804,0.0006976037,0.0009265151,0.002716832,0.0006088904],"domain_scores_gemma":[0.9756335,0.01639906,0.00151596,0.003534598,0.002542133,0.0003747263],"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.00007163372,0.0001650393,0.001192509,0.0001496619,0.00005208856,0.0005570883,0.0007520736,0.1362569,0.004845046,0.8306402,0.0005704399,0.02474718],"study_design_scores_gemma":[0.00005382565,0.00006022739,0.0001449443,0.00008937421,0.00003343341,0.0001559847,0.0001065815,0.6078041,0.007305249,0.3775786,0.006632859,0.00003481123],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003390444,0.0000309959,0.9954092,0.0001304476,0.00001164362,0.00005780644,0.00003715714,0.0004495361,0.0004827609],"genre_scores_gemma":[0.2572143,0.0001394321,0.7404323,0.0001636385,0.00007630121,0.000422403,0.000209566,0.000198603,0.001143486],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009056193,"threshold_uncertainty_score":0.0478943,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01893584562270784,"score_gpt":0.2239879715953384,"score_spread":0.2050521259726305,"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."}}