{"id":"W2696905313","doi":"10.1145/2984639","title":"Non-interference in Partial Order Models","year":2016,"lang":"en","type":"article","venue":"ACM Transactions on Embedded Computing Systems","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"Natural Sciences and Engineering Research Council of Canada; Fonds Québécois de la Recherche sur la Nature et les Technologies","keywords":"Undecidable problem; Decidability; Equivalence (formal languages); Automaton; Computer science; Concurrency; Theoretical computer science; Formalism (music); Bounded function; Cellular automaton; Mathematics; Discrete mathematics; Algorithm; Programming language","routes":{"ca_aff":true,"ca_fund":true,"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.006125074,0.001526305,0.001223617,0.001315708,0.001690089,0.004105925,0.00237927,0.001777925,0.003015523],"category_scores_gemma":[0.01620282,0.001303819,0.003078917,0.00153429,0.006099895,0.007263551,0.003763894,0.003975707,0.0005208121],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003230016,"about_ca_system_score_gemma":0.003981181,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006780417,"about_ca_topic_score_gemma":0.006509923,"domain_scores_codex":[0.9905599,0.003203727,0.0009279402,0.001559776,0.002700944,0.001047768],"domain_scores_gemma":[0.9776813,0.01577041,0.00164388,0.003006699,0.00132062,0.0005770974],"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.00007441977,0.00007457102,0.001131987,0.0001628094,0.00006026823,0.0005174232,0.0009160466,0.120233,0.001667627,0.8666387,0.0006017718,0.007921507],"study_design_scores_gemma":[0.00006179386,0.00005818614,0.000121996,0.00004026652,0.00005180506,0.0001281321,0.0001193186,0.2678966,0.003124498,0.7226862,0.005685886,0.00002535652],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03605695,0.0004070026,0.953381,0.0007395864,0.00004644874,0.0002313577,0.0004017642,0.001012666,0.007723166],"genre_scores_gemma":[0.7176591,0.000912851,0.2708795,0.0003959626,0.0001971872,0.001107146,0.001314335,0.000320018,0.007213878],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006780417,"threshold_uncertainty_score":0.03239292,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03967643528910551,"score_gpt":0.2761719093572023,"score_spread":0.2364954740680968,"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."}}