{"id":"W1514217992","doi":"10.1007/11783596_1","title":"What Is a Good Process Semantics?","year":2006,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Business Process Modeling and Analysis","field":"Business, Management and Accounting","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Calgary","funders":"","keywords":"Computer science; Deadlock; Focus (optics); Semantics (computer science); Programming language; Process (computing); Operational semantics; Process calculus; Formal methods; Formal semantics (linguistics); Theoretical computer science; Software engineering","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.01453565,0.001619122,0.002926431,0.003619848,0.002995972,0.009244457,0.003138557,0.005427744,0.00429597],"category_scores_gemma":[0.03639425,0.001430751,0.002865693,0.003835142,0.01392589,0.05029475,0.004509705,0.006607363,0.00218589],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001813898,"about_ca_system_score_gemma":0.003611329,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001245276,"about_ca_topic_score_gemma":0.0009574941,"domain_scores_codex":[0.9859299,0.005360775,0.001905975,0.001793883,0.004230016,0.0007794208],"domain_scores_gemma":[0.9713631,0.01355585,0.001629003,0.006888316,0.005356204,0.001207493],"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.00002700867,0.00003112108,0.0001563423,0.0001680501,0.00003395506,0.0000419569,0.0003216437,0.001240078,0.000234754,0.9775596,0.002350993,0.0178345],"study_design_scores_gemma":[0.000009762426,0.000008627133,0.00002516784,0.00004695981,0.00001384144,0.00004627923,0.00009158858,0.00164361,0.0001867489,0.9916093,0.006309375,0.00000871118],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01379826,0.00414063,0.925015,0.03072796,0.001004053,0.0001322886,0.0003384151,0.00122052,0.0236228],"genre_scores_gemma":[0.4157101,0.00435016,0.5611061,0.005709146,0.00242122,0.0005250218,0.0007984209,0.001320656,0.008059172],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01453565,"threshold_uncertainty_score":0.07687277,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01486783508783208,"score_gpt":0.2342184787046933,"score_spread":0.2193506436168612,"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."}}