{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003217851,0.0005405745,0.0005478277,0.0007071361,0.001099593,0.00331669,0.001857345,0.001153068,0.005487723],"category_scores_gemma":[0.006072901,0.0006148627,0.001550001,0.0007064514,0.001544635,0.00416719,0.002694903,0.002309725,0.002681436],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007334362,"about_ca_system_score_gemma":0.002670865,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002491964,"about_ca_topic_score_gemma":0.002703685,"domain_scores_codex":[0.9978065,0.0004741288,0.0002093089,0.0002493273,0.0009258158,0.0003349289],"domain_scores_gemma":[0.9980798,0.0007754833,0.0001545761,0.0004737641,0.0003986921,0.0001177712],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001864816,0.0001901016,0.0009799317,0.0003913483,0.00005612768,0.0003670016,0.0004198785,0.006750328,0.009024214,0.8824334,0.008466141,0.09073513],"study_design_scores_gemma":[0.0002035249,0.0001017842,0.0004152269,0.0002145799,0.0001309229,0.0007261499,0.0001418235,0.07965549,0.03543349,0.6670365,0.2158335,0.0001070075],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"software","genre_scores_codex":[0.004236522,0.0003889863,0.9768803,0.000428614,0.0004483589,0.0001476645,0.0001574676,0.004105581,0.01320657],"genre_scores_gemma":[0.1170594,0.001127059,0.8623694,0.0007192379,0.0001978895,0.0003152168,0.0005572547,0.001572496,0.016082],"genre_candidate":"software","genre_consensus":null,"teacher_disagreement_score":0.005487723,"threshold_uncertainty_score":0.01835823,"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."}}