{"id":"W2077894274","doi":"10.1007/s00165-007-0063-2","title":"Contracts for concurrency","year":2008,"lang":"en","type":"article","venue":"Formal Aspects of Computing","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":24,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"Hasler Stiftung; Eidgenössische Technische Hochschule Zürich; Schweizerischer Nationalfonds zur Förderung der Wissenschaftlichen Forschung; National Science Foundation","keywords":"Concurrency; Computer science; Theory of computation; Programming language; Parallel computing","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.01035295,0.0007641682,0.0008061389,0.001630193,0.002788604,0.005264163,0.00191466,0.002496468,0.007147644],"category_scores_gemma":[0.01299433,0.000933164,0.002090622,0.001625783,0.01080803,0.01207114,0.005187107,0.005204272,0.001232681],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002789367,"about_ca_system_score_gemma":0.003596257,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003232574,"about_ca_topic_score_gemma":0.001554208,"domain_scores_codex":[0.9907677,0.003602032,0.0008272482,0.001169407,0.002847547,0.0007860675],"domain_scores_gemma":[0.9870244,0.006692934,0.0009935928,0.002847341,0.001770745,0.0006710113],"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.00000989491,0.000008222397,0.00006266814,0.00002979843,0.000004910421,0.00005874117,0.0001716365,0.001182431,0.0001646631,0.9942108,0.0007482745,0.00334791],"study_design_scores_gemma":[0.00002617882,0.00001331973,0.00003293884,0.00004650374,0.000008494811,0.0001260414,0.00006462355,0.00716729,0.0004516309,0.9625358,0.02951353,0.00001380107],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.006551482,0.0009481582,0.9563237,0.004182598,0.0003124267,0.0001770564,0.0001671917,0.0007358562,0.03060142],"genre_scores_gemma":[0.4564339,0.002192058,0.5113173,0.002688872,0.001012658,0.001099407,0.0004576929,0.0006241692,0.02417382],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01035295,"threshold_uncertainty_score":0.05475229,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02705976218872761,"score_gpt":0.2562345600830728,"score_spread":0.2291747978943452,"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."}}