{"id":"W2121948896","doi":"10.1109/icnp.1995.524819","title":"A protocol synthesis algorithm: a relational approach","year":2002,"lang":"en","type":"article","venue":"","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Computer science; Protocol (science); Distributed computing; Process (computing); Theoretical computer science; A priori and a posteriori; Protocol analysis; Service (business); Algorithm; Programming language","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.0002387398,0.00009688338,0.0001025636,0.00006871598,0.00005536548,0.00003539377,0.0004349617,0.00004666621,0.00007404021],"category_scores_gemma":[0.0005658662,0.00007940341,0.00003810108,0.0002740427,0.00002369307,0.0003891544,0.0001304464,0.0000978943,0.00008384185],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002933358,"about_ca_system_score_gemma":0.000007037797,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":8.907979e-7,"about_ca_topic_score_gemma":2.054441e-8,"domain_scores_codex":[0.9991747,0.00006631875,0.0001283707,0.0002636373,0.000189136,0.0001778979],"domain_scores_gemma":[0.9989224,0.0006044722,0.00003230052,0.000364517,0.00003191501,0.00004441054],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000001333272,0.0001252764,0.00005741967,0.00002921192,0.00001893871,0.000009425989,0.0002798482,0.03330281,0.00005328002,0.102866,0.002354054,0.8609024],"study_design_scores_gemma":[0.0001761691,0.00002715348,0.0003645576,0.000007974507,0.000001738439,0.0000403947,0.000007552432,0.9730395,0.0008827218,0.01320126,0.01200906,0.0002419331],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[9.675451e-7,0.000005152607,0.9800848,0.0001341594,0.00004426792,0.009149387,4.071839e-7,0.000904327,0.009676479],"genre_scores_gemma":[0.00009608467,3.314468e-7,0.9355551,0.00004474357,0.00003133056,0.06308576,1.185337e-7,0.000006775089,0.001179743],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9397367,"threshold_uncertainty_score":0.3237977,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1112166829381783,"score_gpt":0.2975357683114159,"score_spread":0.1863190853732376,"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."}}