{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00120204,0.0001262108,0.0002167647,0.0003903589,0.0001841468,0.0001091958,0.001585218,0.00003918404,6.407825e-7],"category_scores_gemma":[0.00008310852,0.0001127453,0.00006093608,0.002256058,0.0004181602,0.0004994209,0.0001859754,0.00009851661,0.00000217126],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003349946,"about_ca_system_score_gemma":0.0001995974,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003026717,"about_ca_topic_score_gemma":5.508382e-8,"domain_scores_codex":[0.9978532,0.00006182541,0.0004734765,0.0004313062,0.0008253533,0.0003548796],"domain_scores_gemma":[0.9984366,0.0000395212,0.0003928265,0.0004917581,0.0005292279,0.0001100927],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000004453814,0.0002708341,0.00008902933,0.00005109522,0.000002659657,7.296847e-7,0.003347692,0.05292209,0.01684422,0.0668941,0.000004623313,0.8595685],"study_design_scores_gemma":[0.0001616515,0.0003037301,0.006942294,0.0001542948,0.000003257781,0.000009464463,0.00005738309,0.9234896,0.06541202,0.003304641,0.00002269304,0.0001389515],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2638373,0.00003175029,0.735285,0.00006821418,0.0002627321,0.0002256649,2.387198e-7,0.00009520179,0.0001938058],"genre_scores_gemma":[0.5191039,3.634177e-7,0.4808583,0.00001443049,0.00001640426,0.000003728165,2.26611e-7,0.000001854937,8.481541e-7],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8705676,"threshold_uncertainty_score":0.4597619,"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."}}