{"id":"W2140491841","doi":"10.1109/pacrim.1989.48349","title":"An integrated approach to protocol design","year":2003,"lang":"en","type":"article","venue":"","topic":"Service-Oriented Architecture and Web Services","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Computer science; Protocol (science); Petri net; Programming language; Process (computing); Software engineering; Formal methods; Engineering design process; Protocol design; Communications protocol; Theoretical computer science; Engineering; Computer network","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.01125113,0.001686162,0.001157576,0.002969699,0.00236659,0.008771954,0.005552539,0.003833099,0.009998719],"category_scores_gemma":[0.01145167,0.001696334,0.002334023,0.002802571,0.004743115,0.01203392,0.00779224,0.007005974,0.003917966],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003562507,"about_ca_system_score_gemma":0.008691703,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002256721,"about_ca_topic_score_gemma":0.002635437,"domain_scores_codex":[0.9854581,0.006227823,0.001207693,0.001879265,0.004753567,0.000473537],"domain_scores_gemma":[0.9931058,0.002309092,0.0003389561,0.002011453,0.001797657,0.0004369502],"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.00002875233,0.0001071807,0.000167007,0.0003760808,0.0000784645,0.0001214341,0.001200984,0.009819744,0.001946577,0.8880484,0.004720884,0.09338452],"study_design_scores_gemma":[0.00006166635,0.0001329714,0.00008525683,0.00052746,0.0001248471,0.0003433076,0.0004773012,0.06535748,0.003059205,0.6792266,0.2505376,0.00006629546],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0003457285,0.0003146372,0.9884266,0.0007099438,0.00009531465,0.0002050987,0.00002873376,0.0004166496,0.009457341],"genre_scores_gemma":[0.01330508,0.0008828079,0.9765902,0.0004130799,0.00009781803,0.0008739645,0.0001519712,0.0001696788,0.007515387],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01125113,"threshold_uncertainty_score":0.05950242,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02368135236951237,"score_gpt":0.2707180632748969,"score_spread":0.2470367109053846,"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."}}