{"id":"W141148094","doi":"10.1023/a:1022902408130","title":"True Concurrency in Models of Asynchronous Circuit Behavior","year":2003,"lang":"en","type":"article","venue":"Formal Methods in System Design","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Concurrency; Interleaving; Asynchronous communication; Modularity (biology); Algorithm; SIGNAL (programming language); Context (archaeology); Theoretical computer science; Distributed computing; Programming language","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005943742,0.0001930292,0.0004978857,0.0003454681,0.00005675862,0.00004490136,0.0007154212,0.0001296752,0.000004499041],"category_scores_gemma":[0.0002513167,0.0001896199,0.00008259762,0.0008646476,0.00003645706,0.0008602732,0.00006385589,0.0002224614,0.000005637803],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001793627,"about_ca_system_score_gemma":0.0002125351,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006881919,"about_ca_topic_score_gemma":0.000003455039,"domain_scores_codex":[0.9962457,0.001729484,0.000862097,0.000382518,0.0002458158,0.0005343154],"domain_scores_gemma":[0.9984975,0.0005975791,0.0002556405,0.0004912396,0.00007321969,0.00008478195],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000001135429,0.0001958612,0.008562305,0.0003373153,0.00001022613,0.0001266445,0.003102859,0.01043523,0.005342786,0.4710724,0.000004629886,0.5008085],"study_design_scores_gemma":[0.002592924,0.000575825,0.00545224,0.001415667,0.00003693676,0.0005438378,0.001076915,0.9239796,0.03864337,0.02454274,0.00003307414,0.001106822],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006317585,0.0004791692,0.9832161,0.000001472955,0.0004321108,0.0004764916,0.000001563068,0.00008397643,0.008991501],"genre_scores_gemma":[0.6574479,0.000002129265,0.3424366,0.000006388188,0.00001048549,0.00008020961,2.423263e-7,0.000008611052,0.00000739538],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9135444,"threshold_uncertainty_score":0.7732474,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1230146835092877,"score_gpt":0.3472516628794267,"score_spread":0.2242369793701391,"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."}}