{"id":"W1587957916","doi":"10.1007/1-4020-8149-9_30","title":"Engineering Concurrent and Reactive Systems with Distributed Real-Time Abstract State Machines","year":2004,"lang":"en","type":"book-chapter","venue":"IFIP International Federation for Information Processing/IFIP","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Concurrency; Computer science; Abstract state machines; Distributed computing; Flexibility (engineering); Agile software development; State (computer science); Concurrency control; Finite-state machine; Software engineering; Programming language","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.0008324811,0.0008421844,0.0004843317,0.0004430828,0.0003816187,0.001587705,0.001231635,0.0009650224,0.002860386],"category_scores_gemma":[0.002452089,0.0007844533,0.0005903204,0.0005311526,0.001383636,0.002227756,0.001316792,0.001485712,0.0008944094],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005412063,"about_ca_system_score_gemma":0.0005759117,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003953177,"about_ca_topic_score_gemma":0.0005922607,"domain_scores_codex":[0.9994206,0.0001205046,0.00003833602,0.00008108217,0.0002943037,0.00004521126],"domain_scores_gemma":[0.9991432,0.0005352147,0.00005204622,0.0001364059,0.000108328,0.0000246547],"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.00008403242,0.00007566558,0.0003376866,0.0005139019,0.00005425184,0.0003119273,0.0005371143,0.1569387,0.02432237,0.5804526,0.004136215,0.2322355],"study_design_scores_gemma":[0.00004404301,0.00007404543,0.0001157317,0.00006737998,0.00003301108,0.0002565058,0.00007592812,0.3275036,0.02069838,0.5994484,0.05166029,0.00002259378],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004095467,0.0007829284,0.9850787,0.000162664,0.0001088196,0.00002966315,0.000009677925,0.0003342714,0.009397822],"genre_scores_gemma":[0.2554891,0.003313171,0.7038894,0.0001799654,0.0002744848,0.0002274407,0.0001371812,0.0004232662,0.03606592],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.002860386,"threshold_uncertainty_score":0.009568989,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01085746907472298,"score_gpt":0.2370468581678538,"score_spread":0.2261893890931308,"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."}}