{"id":"W4248783987","doi":"10.1109/isss.2001.957953","title":"Synthesizing distributed real-time systems modeled by a timed version of a subset of LOTOS","year":2002,"lang":"en","type":"article","venue":"","topic":"Real-Time Systems Scheduling","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Computer science; Distributed computing; Programming language; Theoretical computer science; Real-time computing","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.0006010829,0.0005205118,0.000442623,0.0002366856,0.0002247601,0.0005837142,0.0006647827,0.0003902529,0.001747666],"category_scores_gemma":[0.001260675,0.0003244232,0.0009473392,0.0001884762,0.0004706449,0.000628279,0.0004259926,0.0006212267,0.0002683879],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004362211,"about_ca_system_score_gemma":0.0007860044,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007165833,"about_ca_topic_score_gemma":0.001090437,"domain_scores_codex":[0.9995579,0.0001106745,0.00005200331,0.00009655164,0.0001353421,0.00004753655],"domain_scores_gemma":[0.9992633,0.0003653867,0.0001179182,0.0001397399,0.00008149839,0.00003212903],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0003862809,0.0001626066,0.001088388,0.0006284653,0.0001092238,0.0007777669,0.000444592,0.7442368,0.1124862,0.09129,0.0008926501,0.04749715],"study_design_scores_gemma":[0.0001111285,0.0002527885,0.0001768559,0.00003988477,0.00006579838,0.0001444698,0.000043948,0.9370139,0.03743315,0.01814348,0.006557194,0.00001735981],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04152801,0.00008367186,0.954907,0.00005642505,0.00004738478,0.0001064446,0.00009818871,0.0008038112,0.002368992],"genre_scores_gemma":[0.5672032,0.0002017948,0.4292723,0.00009563043,0.00003013588,0.00038825,0.0003123782,0.0001772228,0.002319114],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.001747666,"threshold_uncertainty_score":0.00584656,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0119571789598517,"score_gpt":0.1999789145043042,"score_spread":0.1880217355444525,"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."}}