{"id":"W2128589507","doi":"10.5381/jot.2005.4.2.a5","title":"Implementing the π-Calculus in Java.","year":2005,"lang":"en","type":"article","venue":"The Journal of Object Technology","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Windsor","funders":"","keywords":"Computer science; Programming language; Java; Compiler; Generics in Java; Java Modeling Language; Java applet; Java bytecode; Real time Java; Java annotation; Bytecode; Process calculus","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.002452282,0.00008188718,0.0001609881,0.0002230278,0.0001485479,0.00004532407,0.001715903,0.00007145324,0.000007837785],"category_scores_gemma":[0.00009168513,0.00003893003,0.00005707729,0.0006284637,0.00009363182,0.0001562564,0.0003489191,0.0004137155,0.00002741657],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005062189,"about_ca_system_score_gemma":0.00005830302,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002977756,"about_ca_topic_score_gemma":0.0001812775,"domain_scores_codex":[0.9988521,0.0001207887,0.0004028854,0.00008238138,0.00018561,0.0003562889],"domain_scores_gemma":[0.999077,0.0001037741,0.0003312623,0.0003944274,0.00007386939,0.00001962988],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000010813,0.00007896052,0.004173653,0.000006499739,0.00005497567,0.00004878639,0.002755262,0.0001044262,0.002427177,0.3874277,0.001115461,0.6017962],"study_design_scores_gemma":[0.003355242,0.001639414,0.006991493,0.00005047315,0.00009020996,0.01011888,0.007074009,0.01195926,0.04693237,0.2147301,0.6963993,0.0006593121],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3249258,0.005754028,0.6083525,0.05256669,0.001009738,0.000477524,1.930399e-7,0.0002336674,0.006679814],"genre_scores_gemma":[0.9979197,0.00005393089,0.001621204,0.0001816154,0.0001371853,0.000002550135,2.747731e-8,0.000004393488,0.00007933817],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6952838,"threshold_uncertainty_score":0.3188603,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01509320756932264,"score_gpt":0.2664055881091154,"score_spread":0.2513123805397927,"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."}}