{"id":"W2055877289","doi":"10.1016/j.scico.2009.02.002","title":"Efficient symbolic computation of process expressions","year":2009,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Computer science; Operational semantics; TRACE (psycholinguistics); Process calculus; Semantics (computer science); Process (computing); Expression (computer science); Computation; Interpreter; Programming language; Theoretical 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.001362244,0.0009017299,0.001168995,0.001006465,0.001390947,0.002677209,0.001801052,0.000981177,0.009649885],"category_scores_gemma":[0.009485059,0.000539913,0.00105774,0.001420565,0.002392991,0.003418281,0.002359575,0.001644587,0.001453889],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001495279,"about_ca_system_score_gemma":0.003049789,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002492319,"about_ca_topic_score_gemma":0.00420837,"domain_scores_codex":[0.9977986,0.000582648,0.00009044177,0.0002471403,0.0009297209,0.0003514869],"domain_scores_gemma":[0.9950398,0.003601512,0.0001934695,0.0006716533,0.0004053778,0.00008817865],"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.0006075976,0.0001619424,0.0009113008,0.0005316225,0.00007315894,0.0004269914,0.0006438957,0.1394991,0.01811777,0.6382772,0.004073699,0.1966756],"study_design_scores_gemma":[0.0001517713,0.00007691777,0.0001676906,0.00006846462,0.00007654887,0.00008944375,0.0001424171,0.5551578,0.03226665,0.4041926,0.007575806,0.00003393345],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0428625,0.0001952917,0.9415343,0.0003238604,0.00006507986,0.0000972189,0.0002130887,0.003213517,0.0114951],"genre_scores_gemma":[0.7037494,0.0002776069,0.2889994,0.0000840728,0.0000446724,0.000175181,0.0005341083,0.0005653385,0.005570156],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009649885,"threshold_uncertainty_score":0.03228205,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02188234887032227,"score_gpt":0.3372530272064956,"score_spread":0.3153706783361734,"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."}}