{"id":"W7066110447","doi":"","title":"Expressiveness in mobile process calculi","year":2001,"lang":"en","type":"dissertation","venue":"eScholarship@McGill (McGill)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Bibliothèque et Archives nationales du Québec; McGill University; Natural Sciences and Engineering Research Council of Canada","funders":"","keywords":"Process (computing); Order (exchange); Field (mathematics); Class (philosophy); Inheritance (genetic algorithm)","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":true,"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.006406097,0.0009078515,0.0007097411,0.001139673,0.001675428,0.007656156,0.002072945,0.001721154,0.004397571],"category_scores_gemma":[0.01651033,0.001060437,0.001490895,0.001364499,0.005191655,0.008447312,0.004921936,0.003611723,0.0008455838],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001982525,"about_ca_system_score_gemma":0.001444334,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00273335,"about_ca_topic_score_gemma":0.003356264,"domain_scores_codex":[0.9931077,0.002366637,0.0006049855,0.0008920558,0.002481337,0.0005474075],"domain_scores_gemma":[0.9904441,0.006969118,0.0004482721,0.001322252,0.0006226937,0.0001935456],"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.00007641943,0.00002924419,0.0004625797,0.0001798761,0.00002228312,0.0002936155,0.00234078,0.01349849,0.004139555,0.949782,0.000777536,0.02839771],"study_design_scores_gemma":[0.00005418671,0.00004488998,0.0001335232,0.0001357059,0.0000457394,0.0002839107,0.0004593971,0.07974133,0.005775255,0.8875861,0.02570772,0.00003231837],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.04468581,0.0009391029,0.9192171,0.001935214,0.0001037226,0.0001312192,0.0002074698,0.00178533,0.03099504],"genre_scores_gemma":[0.7629575,0.0009542648,0.2140044,0.0004334162,0.0001754523,0.0004033883,0.0003680524,0.0005423296,0.02016137],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007656156,"threshold_uncertainty_score":0.0338791,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0210177973704488,"score_gpt":0.2991660008796065,"score_spread":0.2781482035091577,"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."}}