{"id":"W2142595764","doi":"10.1109/glocom.1990.116809","title":"An execution model for LOTOS specifications","year":2002,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal","funders":"","keywords":"Computer science; Programming language; Tree (set theory); Process (computing); Branching (polymer chemistry); Theoretical computer science; Execution model; Formal specification; Control (management); Process calculus; Artificial intelligence; Mathematics","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.001543585,0.001094986,0.0004784325,0.0009769218,0.0007979977,0.00299913,0.001466051,0.001248798,0.006276296],"category_scores_gemma":[0.002410419,0.000786852,0.00143835,0.000754392,0.001751323,0.003330978,0.001242401,0.001583575,0.001574114],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001533799,"about_ca_system_score_gemma":0.001923201,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003545375,"about_ca_topic_score_gemma":0.003117642,"domain_scores_codex":[0.9985323,0.0003405283,0.0002302114,0.0002280446,0.000527413,0.000141521],"domain_scores_gemma":[0.9986129,0.000562205,0.0001711722,0.0002659992,0.0002921658,0.00009558536],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000146116,0.00005277955,0.0004678152,0.0002206177,0.00002118882,0.0005553648,0.0006399645,0.05959903,0.005205592,0.9142218,0.00269379,0.01617603],"study_design_scores_gemma":[0.0001410626,0.0001802285,0.0002376338,0.0002466666,0.00007818983,0.000675952,0.000207566,0.4290401,0.01064867,0.4318507,0.1266135,0.00007978927],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006704549,0.0002137902,0.9790825,0.0003410135,0.00005884017,0.0002379405,0.0004911962,0.002072234,0.01079805],"genre_scores_gemma":[0.2729674,0.001186483,0.6914028,0.0004978766,0.0001336241,0.001722101,0.003178159,0.001167935,0.02774367],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006276296,"threshold_uncertainty_score":0.02099633,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2377923545972509,"score_gpt":0.3368709806248273,"score_spread":0.09907862602757642,"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."}}