{"id":"W1518764426","doi":"10.1007/bfb0023728","title":"Using partial-order semantics to avoid the state explosion problem in asynchronous systems","year":2005,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":38,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Nondeterministic algorithm; Liveness; Concurrency; Computer science; Automaton; Model checking; Finite-state machine; Petri net; Asynchronous communication; Theoretical computer science; Branching (polymer chemistry); State (computer science); Partial order reduction; Algorithm; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003355885,0.0009658691,0.001035009,0.0007271975,0.00144514,0.003061748,0.001875422,0.001313821,0.003534457],"category_scores_gemma":[0.008376911,0.00100375,0.001499173,0.0009040715,0.0031087,0.01052166,0.00328443,0.004425222,0.0008689819],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006143185,"about_ca_system_score_gemma":0.001648835,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007420551,"about_ca_topic_score_gemma":0.001486738,"domain_scores_codex":[0.9977813,0.0007120508,0.0002406937,0.0002551126,0.0008028273,0.000207849],"domain_scores_gemma":[0.9948379,0.002982863,0.000231506,0.001336315,0.0004557034,0.0001555591],"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.000154921,0.0001002055,0.0001925308,0.0002416619,0.00003734391,0.0002093722,0.0007272836,0.03065061,0.005922963,0.8686555,0.002437861,0.09066974],"study_design_scores_gemma":[0.00007258157,0.00006071934,0.00004807993,0.00003247051,0.00004755378,0.0001204688,0.00006479902,0.08548123,0.007767708,0.8948281,0.01145056,0.0000257882],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006413547,0.0001641748,0.986596,0.0002781173,0.0001068406,0.00005692026,0.00003750764,0.000947623,0.005399226],"genre_scores_gemma":[0.3504454,0.00069744,0.6367943,0.0003531306,0.0002458304,0.0004553503,0.0002595078,0.0009182083,0.009830778],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003534457,"threshold_uncertainty_score":0.01774788,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04425788797565207,"score_gpt":0.295864583977303,"score_spread":0.251606696001651,"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."}}