{"id":"W2120254441","doi":"10.1109/icnp.1993.340888","title":"Language-based analysis of communicating finite state machines","year":2002,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa; Acceleware (Canada)","funders":"","keywords":"Reachability; Computer science; Finite-state machine; Process (computing); Process mining; Theoretical computer science; Protocol (science); Graph; Parallelism (grammar); Process calculus; Focus (optics); State (computer science); Programming language; Communicating sequential processes; Model checking; Algorithm; Work in process; Parallel computing; Business process modeling; Semantics (computer science)","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.00231322,0.0008070701,0.0006731344,0.002076418,0.000973784,0.002174283,0.001737241,0.001014292,0.003496017],"category_scores_gemma":[0.007676365,0.0006645667,0.002562289,0.0009096083,0.002359265,0.002384342,0.001585133,0.00143827,0.0006093674],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001962451,"about_ca_system_score_gemma":0.002176916,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002667568,"about_ca_topic_score_gemma":0.001962153,"domain_scores_codex":[0.9969304,0.00120968,0.0002028703,0.0003095442,0.001055074,0.0002924817],"domain_scores_gemma":[0.9962295,0.002523199,0.000271106,0.0003650189,0.000545069,0.00006608466],"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.0001124681,0.00009619587,0.001138874,0.0003131293,0.0001044086,0.000488745,0.0007540135,0.2798044,0.01151734,0.6677678,0.001446887,0.03645566],"study_design_scores_gemma":[0.00003375939,0.00004082787,0.0001341214,0.00005079047,0.00003571423,0.00009912014,0.00006398059,0.7725694,0.009005132,0.2113541,0.006585126,0.00002794311],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.009614125,0.00009646905,0.9867947,0.0001289537,0.00003108484,0.00009790545,0.00007114002,0.0008512863,0.002314427],"genre_scores_gemma":[0.3145909,0.0002191571,0.6800111,0.0001586949,0.00005829814,0.0004878289,0.0004074976,0.0003735787,0.00369289],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003496017,"threshold_uncertainty_score":0.01423866,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04626871099821241,"score_gpt":0.3171683474924796,"score_spread":0.2708996364942672,"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."}}