{"id":"W1538905248","doi":"10.1007/978-3-7908-1846-8_14","title":"Expressiveness of $-Calculus: What Matters?","year":2000,"lang":"en","type":"book-chapter","venue":"Intelligent Information Systems","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":true,"ca_institutions":"Acadia University","funders":"","keywords":"Process calculus; Computer science; Turing machine; Theoretical computer science; Synchronization (alternating current); Automaton; Situation calculus; Representation (politics); Process (computing); Artificial intelligence; Computation; Algorithm; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005836446,0.0007930014,0.001318771,0.001148364,0.001521295,0.009746767,0.003851285,0.002536241,0.00620729],"category_scores_gemma":[0.01089723,0.0006930719,0.001469116,0.00190337,0.008191803,0.02519476,0.003595727,0.006983645,0.001575018],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002159416,"about_ca_system_score_gemma":0.0009657242,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001415577,"about_ca_topic_score_gemma":0.0007179818,"domain_scores_codex":[0.996365,0.001419741,0.0003041476,0.0006017298,0.0009947421,0.0003145589],"domain_scores_gemma":[0.9934021,0.004259899,0.0003186942,0.001160614,0.0005930015,0.000265805],"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.00001149542,0.000008092339,0.00008939699,0.00008760871,0.000008189204,0.00004765784,0.000229653,0.0007636611,0.0002722527,0.9887007,0.001762519,0.008018693],"study_design_scores_gemma":[0.000006470953,0.000007765573,0.00006598213,0.00008020837,0.00001059301,0.0001627992,0.00009464033,0.003565,0.0003133269,0.9772933,0.01838658,0.00001336044],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03377642,0.03847307,0.7262204,0.03748311,0.00192453,0.0001045198,0.0006334523,0.001351982,0.1600324],"genre_scores_gemma":[0.7362378,0.0215952,0.2011843,0.007260763,0.00415638,0.0003719308,0.000922424,0.001020787,0.02725049],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009746767,"threshold_uncertainty_score":0.03086644,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0225987457896866,"score_gpt":0.2325704211433179,"score_spread":0.2099716753536313,"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."}}