{"id":"W2102080474","doi":"10.1109/wfcs.1997.634351","title":"Engineering families of protocols using a formal language: successes and failures","year":2002,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Institut National de la Recherche Scientifique","funders":"","keywords":"Computer science; Hierarchy; Retransmission; Notation; Programming language; Refinement; Formal methods; Theoretical computer science; Protocol (science); Formal language; Formal description; Communications protocol; Variation (astronomy); Software engineering; Computer security; Computer network; Mathematics","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.02138153,0.001295737,0.001085813,0.002313747,0.002573645,0.004248327,0.002418357,0.002689133,0.00335079],"category_scores_gemma":[0.03730133,0.001529086,0.002292712,0.001398408,0.01427934,0.01670066,0.004986945,0.004501821,0.0009319675],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002054946,"about_ca_system_score_gemma":0.002550171,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001205249,"about_ca_topic_score_gemma":0.0009107678,"domain_scores_codex":[0.9851291,0.006842364,0.001445375,0.001770306,0.003946889,0.0008658542],"domain_scores_gemma":[0.9585186,0.0275451,0.002922199,0.007871049,0.002280093,0.0008628439],"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.00002846495,0.00001603365,0.0003362882,0.0001015762,0.0000173882,0.0001845111,0.001418884,0.005552105,0.001597271,0.9804788,0.0005377706,0.009730763],"study_design_scores_gemma":[0.00003564396,0.0000608825,0.0001241636,0.0001141783,0.00003991569,0.0002652331,0.0003595728,0.03102501,0.004034602,0.9463668,0.01752328,0.00005066526],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01014945,0.0001996403,0.9849513,0.0007911493,0.00003425765,0.00007821533,0.0000533433,0.000409001,0.003333688],"genre_scores_gemma":[0.2768372,0.0009489502,0.7133457,0.0004156916,0.0001373109,0.0007394049,0.0001742675,0.0006092091,0.006792194],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02138153,"threshold_uncertainty_score":0.1130777,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03642843150868986,"score_gpt":0.3090944844918145,"score_spread":0.2726660529831246,"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."}}