{"id":"W2053340187","doi":"10.1023/a:1008795229459","title":"Delay-Insensitivity and Semi-Modularity","year":2000,"lang":"en","type":"article","venue":"Formal Methods in System Design","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto; University of Waterloo","funders":"","keywords":"Correctness; Asynchronous communication; Equivalence (formal languages); Inertial frame of reference; Computer science; Modularity (biology); Modular design; Electronic circuit; Bisimulation; Component (thermodynamics); Theoretical computer science; Topology (electrical circuits); Algorithm; Mathematics; Discrete mathematics; Programming language; Physics; Engineering; Electrical engineering; Telecommunications","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.004084856,0.0008248,0.0009165979,0.001036579,0.0007397643,0.001461325,0.001471001,0.0009803398,0.003244014],"category_scores_gemma":[0.01485324,0.001250492,0.001475828,0.0006215723,0.004425826,0.005143018,0.003259378,0.002439141,0.000662639],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008466072,"about_ca_system_score_gemma":0.001016939,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003651489,"about_ca_topic_score_gemma":0.0002930513,"domain_scores_codex":[0.996769,0.0008803348,0.0002231631,0.0006950993,0.001107077,0.0003253938],"domain_scores_gemma":[0.9808772,0.01298044,0.001408704,0.00278364,0.001553737,0.0003963396],"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.0001417556,0.00005930881,0.0005236903,0.0003074084,0.00007533308,0.0002261718,0.0006339935,0.03873502,0.01052122,0.9198624,0.0004856854,0.02842793],"study_design_scores_gemma":[0.00006685364,0.0001050021,0.0002303967,0.00005126702,0.00009399676,0.0003575963,0.00006397595,0.06633638,0.01550622,0.9125184,0.004631905,0.00003796545],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01616678,0.0001802798,0.9790715,0.000147685,0.00003563134,0.00003954908,0.00002728404,0.0002840791,0.004047215],"genre_scores_gemma":[0.7912922,0.0005595356,0.2011313,0.0002390414,0.0001016522,0.0003166107,0.00007175653,0.0003299922,0.005957776],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004084856,"threshold_uncertainty_score":0.02160305,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05309760259252033,"score_gpt":0.3447944458955521,"score_spread":0.2916968433030317,"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."}}