{"id":"W2133689258","doi":"10.1109/icccn.1995.540100","title":"An efficient method for protocol conversion","year":2002,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal","funders":"","keywords":"Computer science; Interoperability; Internetworking; Protocol (science); Computation; Equivalence (formal languages); Channel (broadcasting); Computer network; Distributed computing; Formal specification; Converters; Algorithm; Programming language; Engineering; Operating system; The Internet","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.0007445351,0.00006669631,0.00006887267,0.00005376529,0.00009200965,0.00006775267,0.0005564645,0.00004019405,0.00009999666],"category_scores_gemma":[0.00005202831,0.00005430783,0.00003421955,0.0001740528,0.00001367269,0.0002702492,0.00004927596,0.0000390158,0.00007163329],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002829589,"about_ca_system_score_gemma":0.000006903519,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003988295,"about_ca_topic_score_gemma":1.387199e-7,"domain_scores_codex":[0.9991922,0.000110293,0.0001366529,0.0002628135,0.0001426971,0.000155369],"domain_scores_gemma":[0.9992257,0.00006597332,0.00005425926,0.0005132709,0.00007614432,0.00006461355],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001845735,0.0003349529,0.00003051366,0.00006413334,0.000003690929,6.473464e-7,0.0007408748,0.002076047,0.005508262,0.6499235,0.003546475,0.3377524],"study_design_scores_gemma":[0.0003099679,0.0001868113,0.00006603119,0.000002330791,9.816735e-7,0.000002891349,0.000009390324,0.9199821,0.04855939,0.0004647578,0.03033695,0.00007837066],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00004662209,6.653488e-7,0.9648529,0.0001506605,0.0001245941,0.03039597,4.280402e-7,0.0001972816,0.004230849],"genre_scores_gemma":[0.0009790772,5.921614e-8,0.9639378,0.000235611,0.0000258265,0.0344385,3.30022e-7,0.000004488973,0.0003782965],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9179061,"threshold_uncertainty_score":0.2214609,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06089899354454965,"score_gpt":0.3863430352394259,"score_spread":0.3254440416948762,"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."}}