{"id":"W2794006007","doi":"","title":"Synthesis of Non-Interferent Systems","year":2007,"lang":"en","type":"article","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":false,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Focus (optics); Property (philosophy); Computer science; TRACE (psycholinguistics); Interference (communication); Bisimulation; Theoretical computer science; Distributed computing; Computer security; Computer network; Channel (broadcasting)","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":[],"consensus_categories":[],"category_scores_codex":[0.009664638,0.000181493,0.0003101041,0.0002659168,0.0001615937,0.0002145884,0.002049455,0.0001049746,0.00001274137],"category_scores_gemma":[0.0009858037,0.0001806662,0.0001220624,0.0006922449,0.00009721643,0.0002782133,0.0006020084,0.000162351,0.00003751789],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001043561,"about_ca_system_score_gemma":0.00009989538,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005297611,"about_ca_topic_score_gemma":0.0001974689,"domain_scores_codex":[0.9963892,0.00156823,0.0006793871,0.0004888854,0.0005094715,0.000364826],"domain_scores_gemma":[0.9934833,0.002404483,0.0004257881,0.0020615,0.001466985,0.0001579481],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00002268243,0.0009952211,0.005260132,0.000454077,0.0001593795,0.00002411264,0.01705579,0.0006624765,0.05424477,0.6270255,0.001305902,0.2927899],"study_design_scores_gemma":[0.0004671204,8.582169e-7,0.003229283,0.002782551,0.00002184577,0.00004887051,0.0002901396,0.4097151,0.5776691,0.0005401221,0.004756778,0.0004782483],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05540701,0.0004098349,0.8871881,0.0006700206,0.0003220677,0.0001836496,0.000004657832,0.00015504,0.05565955],"genre_scores_gemma":[0.9252106,0.00004130953,0.07323019,0.00001868016,0.00001548173,0.00001687189,0.000003812282,0.00001653492,0.001446532],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8698035,"threshold_uncertainty_score":0.7367353,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01549033786814995,"score_gpt":0.2329920640781345,"score_spread":0.2175017262099845,"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."}}