{"id":"W2114679650","doi":"10.1109/ccece.2003.1226133","title":"Composing modules with synchronization and real-time constraints using category theory","year":2004,"lang":"en","type":"article","venue":"","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Synchronization (alternating current); Computer science; Composition (language); Category theory; Software; Formal verification; Distributed computing; Theoretical computer science; Programming language; Mathematics","routes":{"ca_aff":true,"ca_fund":true,"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.005184885,0.0005631399,0.000613891,0.001501628,0.001218601,0.00269707,0.002040734,0.001320434,0.001810094],"category_scores_gemma":[0.008875112,0.000622923,0.001753244,0.001045201,0.004509709,0.004782622,0.003728042,0.001711585,0.0003197494],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00145999,"about_ca_system_score_gemma":0.003038849,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003839915,"about_ca_topic_score_gemma":0.004737,"domain_scores_codex":[0.9951445,0.001909318,0.0004157746,0.0005117398,0.001688262,0.0003303125],"domain_scores_gemma":[0.994086,0.002837545,0.0004243312,0.001370743,0.0009784887,0.0003028093],"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.00004714138,0.00004332484,0.0005571148,0.0001305993,0.00006860437,0.0003370158,0.001055025,0.04214949,0.00829722,0.9122201,0.0004714801,0.0346229],"study_design_scores_gemma":[0.00003940984,0.0001120313,0.0003224183,0.00006716415,0.00007582527,0.0003211573,0.0002065864,0.2065776,0.01191181,0.7604239,0.01987216,0.0000698783],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.007463054,0.00006492491,0.9900434,0.0000903879,0.00002413851,0.00004394245,0.000007605123,0.0002707726,0.001991783],"genre_scores_gemma":[0.243006,0.0002234868,0.7527083,0.0001292484,0.00006686851,0.0002961289,0.00009163808,0.0002610517,0.003217266],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005184885,"threshold_uncertainty_score":0.02742064,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02039528198623195,"score_gpt":0.2574771019632848,"score_spread":0.2370818199770529,"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."}}