{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.0004770362,0.0005176846,0.0004372986,0.0004924485,0.0002986921,0.002687728,0.0005409172,0.0002719162,0.00001789133],"category_scores_gemma":[0.00008127597,0.0004758307,0.0000855389,0.00007626753,0.00005719064,0.004934066,0.00009477181,0.0003144905,0.00005361778],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006341778,"about_ca_system_score_gemma":0.0004031095,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005295714,"about_ca_topic_score_gemma":0.000005214565,"domain_scores_codex":[0.9973256,0.00001204154,0.001119573,0.0004438171,0.000839164,0.000259802],"domain_scores_gemma":[0.9964552,0.0001350603,0.001387229,0.0002841008,0.001612347,0.0001260887],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001556244,0.00005903019,0.00001403146,0.001943527,0.0004106131,0.00001397837,0.002539775,0.01343094,0.0007234996,0.9336743,0.003894535,0.04314009],"study_design_scores_gemma":[0.003094417,0.0005668685,0.0002055802,0.006146021,0.0001053442,0.0004717115,0.00008249298,0.817297,0.003476699,0.02323435,0.1426056,0.002713932],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00007997344,0.0001053624,0.92023,0.0003079136,0.0007043275,0.001694651,0.0006939955,0.0008841411,0.07529967],"genre_scores_gemma":[0.8431103,0.0002815032,0.06267083,0.0004323113,0.001204619,0.002091357,0.01630356,0.0003493023,0.07355627],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.91044,"threshold_uncertainty_score":0.9997693,"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."}}