{"id":"W2083829851","doi":"10.1145/1101908.1101974","title":"Compositional reasoning for port-based distributed systems","year":2005,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Liveness; Computer science; Distributed computing; Protocol (science); Model checking; Communications protocol; Feature (linguistics); Architecture; Port (circuit theory); Theoretical computer science; 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.006626982,0.0009906603,0.0008391988,0.001537356,0.002001176,0.003048473,0.002352613,0.001502006,0.005269493],"category_scores_gemma":[0.01493089,0.0009160514,0.003789553,0.0009457574,0.004916488,0.005503629,0.004399033,0.002913597,0.0007821856],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001800175,"about_ca_system_score_gemma":0.002136449,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004229635,"about_ca_topic_score_gemma":0.004838401,"domain_scores_codex":[0.9935674,0.002126751,0.0004850422,0.0007464985,0.002567353,0.0005069413],"domain_scores_gemma":[0.9918677,0.00510029,0.0004343402,0.001449612,0.0009372646,0.0002108597],"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.0001224527,0.0001083945,0.0005080474,0.0002644104,0.00008802176,0.0008181793,0.001119867,0.0999779,0.009068606,0.8571095,0.001073323,0.02974124],"study_design_scores_gemma":[0.0001298599,0.00004157301,0.00006721953,0.0000490204,0.00008682707,0.0001676486,0.0001273458,0.3760922,0.01064187,0.6058573,0.00670563,0.00003358543],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008581839,0.00005003933,0.986953,0.0002009735,0.00003681929,0.0001386099,0.00006354636,0.0008662548,0.003108934],"genre_scores_gemma":[0.2912523,0.0001968334,0.7041772,0.0001839139,0.00008869533,0.0004058116,0.0002927367,0.0002378435,0.003164641],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006626982,"threshold_uncertainty_score":0.03504723,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02856054318255389,"score_gpt":0.3020120394634336,"score_spread":0.2734514962808797,"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."}}