{"id":"W1480305897","doi":"10.1007/3-540-45719-4_13","title":"Modelling Concurrent Behaviours by Commutativity and Weak Causality Relations*","year":2002,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Causality (physics); Axiom; Commutative property; Computer science; Set (abstract data type); Relation (database); Event (particle physics); Theoretical computer science; Algebra over a field; Discrete mathematics; Mathematics; Pure mathematics; Data mining; Programming language; Physics; Quantum mechanics","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.001823004,0.001257773,0.0006675152,0.001031018,0.001185392,0.002173016,0.001693672,0.001316637,0.006207434],"category_scores_gemma":[0.00525739,0.001286125,0.001591131,0.001040861,0.003718079,0.006628416,0.002395303,0.002448543,0.001244707],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008261451,"about_ca_system_score_gemma":0.001143148,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002559772,"about_ca_topic_score_gemma":0.002796941,"domain_scores_codex":[0.9986243,0.0004736033,0.0001573575,0.0002579506,0.0003304232,0.0001562566],"domain_scores_gemma":[0.9963211,0.002509241,0.0002313769,0.0005451847,0.0002902105,0.0001030175],"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.00008924719,0.00004943753,0.0004580503,0.0002438018,0.00002516612,0.0003113991,0.0008394859,0.0437599,0.00623442,0.9095869,0.001234617,0.03716757],"study_design_scores_gemma":[0.00003338859,0.00004415758,0.0001006677,0.0000615778,0.00005706448,0.0002160254,0.0001046751,0.1572379,0.008514176,0.8115832,0.02200921,0.00003799741],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.006700533,0.0002030035,0.9852063,0.0001326177,0.00007503077,0.00004694312,0.00004088895,0.0005781973,0.007016599],"genre_scores_gemma":[0.4173835,0.001046877,0.5596226,0.0002216817,0.0001616453,0.0004591257,0.0002798123,0.0006794108,0.02014537],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006207434,"threshold_uncertainty_score":0.02076596,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05062367435628427,"score_gpt":0.2947156633790935,"score_spread":0.2440919890228092,"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."}}