{"id":"W2125299458","doi":"10.5555/1366982.1366988","title":"Interface Automata with Complex Actions: Limiting Interleaving in Interface Automata","year":2008,"lang":"en","type":"article","venue":"Fundamenta Informaticae","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Interleaving; Computer science; Automaton; Rotation formalisms in three dimensions; Concurrency; Theoretical computer science; Interface (matter); Associative property; Petri net; Component (thermodynamics); Distributed computing; Mathematics; 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.007352488,0.001430069,0.001175795,0.00146819,0.00197904,0.004081027,0.002887554,0.002492397,0.004532416],"category_scores_gemma":[0.0312511,0.001471951,0.002864133,0.001567292,0.007536933,0.01240365,0.006972949,0.006747923,0.0008990408],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001957814,"about_ca_system_score_gemma":0.002507385,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003246343,"about_ca_topic_score_gemma":0.002727482,"domain_scores_codex":[0.9900634,0.003473895,0.001129369,0.001455668,0.003077192,0.0008005227],"domain_scores_gemma":[0.9641528,0.02218617,0.002062354,0.007433074,0.003228435,0.0009371854],"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.00006105273,0.00006141726,0.000797198,0.0001180867,0.00002452613,0.0003261596,0.0009800224,0.02255909,0.002976964,0.9566241,0.0005505938,0.01492076],"study_design_scores_gemma":[0.00006059477,0.00004489895,0.0001435898,0.00008425115,0.00005342994,0.0002461098,0.0001270628,0.1702741,0.009392851,0.8037095,0.01581319,0.00005030242],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006352574,0.00009345411,0.9889767,0.0001493838,0.00003466618,0.00006933571,0.00003333121,0.0005045264,0.003786103],"genre_scores_gemma":[0.3033909,0.0004554986,0.6890493,0.0004454839,0.0001391495,0.0009675267,0.0001972387,0.000570801,0.004784144],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007352488,"threshold_uncertainty_score":0.0388841,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1001644815067312,"score_gpt":0.3370532009666107,"score_spread":0.2368887194598795,"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."}}