{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002413047,0.001485425,0.0009857992,0.002112175,0.001422612,0.00300517,0.00234509,0.001273526,0.0126505],"category_scores_gemma":[0.006065278,0.001049104,0.001690094,0.001744089,0.001571707,0.004144504,0.003155065,0.002719304,0.003952215],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001304168,"about_ca_system_score_gemma":0.002231108,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00116093,"about_ca_topic_score_gemma":0.001149405,"domain_scores_codex":[0.9967594,0.0008268434,0.0002968047,0.0005713885,0.00126912,0.000276424],"domain_scores_gemma":[0.9972841,0.001102796,0.0001051465,0.001027551,0.0004304855,0.00005000579],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002253433,0.0002190832,0.0005035386,0.0003619196,0.000114106,0.000347141,0.0002759077,0.04741732,0.0166069,0.3559142,0.01267975,0.5653347],"study_design_scores_gemma":[0.000240774,0.0001694771,0.0002692751,0.0001231817,0.0001378272,0.0009730625,0.0001415167,0.4999725,0.04955487,0.357199,0.09108079,0.0001376831],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001122556,0.00005202157,0.994621,0.00006119738,0.00003577252,0.0001431207,0.0000485476,0.001569798,0.002345908],"genre_scores_gemma":[0.03587639,0.0001243073,0.9591699,0.00007572982,0.00002615702,0.0004945802,0.0003027405,0.0006403173,0.003289906],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.0126505,"threshold_uncertainty_score":0.04232013,"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."}}