{"id":"W2149952006","doi":"10.1145/587051.587074","title":"Composable semantics for model-based notations","year":2002,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"University of Waterloo","keywords":"Computer science; Programming language; Semantics (computer science); Notation; Concurrency; Operational semantics; Synchronization (alternating current); Component (thermodynamics); Formal semantics (linguistics); Formal specification; Action semantics; Denotational semantics; Communicating sequential processes; Variety (cybernetics); Transition system; Well-founded semantics; Theoretical computer science; Formal methods; Artificial intelligence; Mathematics","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.01029152,0.002152444,0.001308362,0.002793944,0.002245859,0.007359107,0.003580789,0.002247009,0.004271585],"category_scores_gemma":[0.01019047,0.001320985,0.003495855,0.002351698,0.005850111,0.01077978,0.005377759,0.004870426,0.001677405],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002801721,"about_ca_system_score_gemma":0.003183847,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00261671,"about_ca_topic_score_gemma":0.002205548,"domain_scores_codex":[0.9903728,0.003524846,0.001624685,0.001088248,0.002816606,0.0005728478],"domain_scores_gemma":[0.9945824,0.00229443,0.0005461882,0.001416326,0.0008620034,0.0002987082],"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.000006487668,0.00001066264,0.0000355287,0.00005081069,0.000009653294,0.00006138656,0.0003518175,0.002544017,0.0004333305,0.9905698,0.0005136619,0.005412898],"study_design_scores_gemma":[0.00002563882,0.00003099485,0.00003114865,0.00009677292,0.00003282438,0.0001336328,0.0001156662,0.01995534,0.002033469,0.9120693,0.06544856,0.0000266272],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.000823763,0.0001848644,0.9943447,0.0002824106,0.00008359241,0.00009202175,0.00007048645,0.0006273403,0.003490774],"genre_scores_gemma":[0.05612765,0.0006724375,0.9373497,0.0003635865,0.0002410818,0.0009075245,0.0004308242,0.0004708689,0.003436296],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01029152,"threshold_uncertainty_score":0.05442739,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09530562017389484,"score_gpt":0.3107307447803508,"score_spread":0.215425124606456,"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."}}