{"id":"W1516727468","doi":"10.1007/978-3-642-13464-7_11","title":"Theory and Implementation of a Real-Time Extension to the π-Calculus","year":2010,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University","funders":"","keywords":"Soundness; Principle of compositionality; Computer science; Pi calculus; Extension (predicate logic); Equivalence (formal languages); Process calculus; Operational semantics; Calculus (dental); Bounded function; Conservative extension; Programming language; Semantics (computer science); Theoretical computer science; Algorithm; Discrete mathematics; Mathematics; Artificial intelligence","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.002329292,0.0007071446,0.0007421598,0.0007953331,0.00131633,0.005477957,0.002541292,0.001654432,0.008598638],"category_scores_gemma":[0.003411874,0.0009978676,0.001690481,0.0008878253,0.004626599,0.008788188,0.002425032,0.004376619,0.001783706],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001569244,"about_ca_system_score_gemma":0.001525234,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001281529,"about_ca_topic_score_gemma":0.0008850983,"domain_scores_codex":[0.9985347,0.0003740288,0.000150286,0.0003206801,0.0004168587,0.0002034129],"domain_scores_gemma":[0.9983506,0.0007682848,0.00009726972,0.000439438,0.0002398045,0.000104628],"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.00001354572,0.000009385708,0.00002521389,0.00002016205,0.000003711197,0.00003423413,0.000107821,0.0007008843,0.0004973821,0.9939665,0.0003758763,0.004245398],"study_design_scores_gemma":[0.00002973702,0.00001795955,0.00004183829,0.00003025025,0.00001838009,0.00009178535,0.00004319579,0.008095063,0.001355662,0.9737516,0.01650894,0.000015527],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01386703,0.001214339,0.9254067,0.0009817976,0.0004727039,0.00006427605,0.0001317927,0.00101701,0.0568444],"genre_scores_gemma":[0.537379,0.002494879,0.4057856,0.0007049395,0.000739162,0.0004537731,0.0004026413,0.0005905615,0.05144946],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008598638,"threshold_uncertainty_score":0.02876526,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0138167620999652,"score_gpt":0.2691202409026935,"score_spread":0.2553034788027284,"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."}}