{"id":"W2172295952","doi":"10.1109/infcom.1993.253293","title":"Concurrency model and its application to formal protocol specifications","year":2002,"lang":"en","type":"article","venue":"","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Concurrency; Computer science; Programming language; Isolation (microbiology); Concurrent computing; Non-lock concurrency control; Protocol (science); Theoretical computer science; Concurrent object-oriented programming; Concurrency control; Distributed computing; Distributed concurrency control; Programming paradigm; Declarative programming","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.007925518,0.001573996,0.001065359,0.003443697,0.002370358,0.005638755,0.003061799,0.002230568,0.005612117],"category_scores_gemma":[0.02905829,0.001648405,0.002450353,0.003693093,0.005579536,0.008907296,0.004065594,0.004917543,0.001715259],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00383951,"about_ca_system_score_gemma":0.004515454,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007446871,"about_ca_topic_score_gemma":0.004020893,"domain_scores_codex":[0.9916118,0.003221291,0.001028226,0.0008145772,0.002988038,0.0003360344],"domain_scores_gemma":[0.9861624,0.009132168,0.000862383,0.001766728,0.001774924,0.000301361],"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.00001569924,0.00002023451,0.0001933894,0.0001327111,0.0000200452,0.0002134339,0.0006371668,0.02373728,0.0006362232,0.9489735,0.001951721,0.02346853],"study_design_scores_gemma":[0.00002707338,0.00002803569,0.00005209789,0.0001465758,0.00002824114,0.0002600806,0.0001453564,0.1143515,0.001299247,0.8518651,0.03176191,0.00003485361],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0007737988,0.0002539097,0.99512,0.0003424581,0.00005376553,0.00009209148,0.00006532382,0.0004722083,0.00282638],"genre_scores_gemma":[0.08210776,0.001807124,0.9077038,0.0003999541,0.0002063552,0.001210746,0.0007351537,0.0005286558,0.005300431],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007925518,"threshold_uncertainty_score":0.0419147,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06003496467427902,"score_gpt":0.284973260544775,"score_spread":0.224938295870496,"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."}}