{"id":"W2043947609","doi":"10.1007/s00236-008-0071-6","title":"Relational structures model of concurrency","year":2008,"lang":"en","type":"article","venue":"Acta Informatica","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":24,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Concurrency; Computer science; Theory of computation; Programming language; Theoretical computer science","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.001996132,0.000710276,0.0008538309,0.001769465,0.0017946,0.006598461,0.001976938,0.00165178,0.008959395],"category_scores_gemma":[0.007084411,0.0008800668,0.001343773,0.00193105,0.004625521,0.009971851,0.002170621,0.002677767,0.001603582],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002356638,"about_ca_system_score_gemma":0.002258243,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006414923,"about_ca_topic_score_gemma":0.003802771,"domain_scores_codex":[0.9975294,0.0007141878,0.000197839,0.000488043,0.0008368746,0.0002336049],"domain_scores_gemma":[0.9961392,0.001775404,0.0003125421,0.000888764,0.0006358164,0.0002483222],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000007948645,0.000006412916,0.00005735668,0.000007998864,0.000004597994,0.00003500224,0.0001098338,0.002564939,0.0001466126,0.9954745,0.0002229658,0.001361788],"study_design_scores_gemma":[0.00001759397,0.000009288416,0.00003994035,0.00001118693,0.00001899469,0.00004619327,0.00005588197,0.02151811,0.0003016972,0.9726389,0.005331967,0.00001032065],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03180827,0.001126449,0.9014618,0.002639855,0.0002256881,0.0001578126,0.0007019891,0.0006245761,0.06125361],"genre_scores_gemma":[0.7483772,0.00126551,0.2121508,0.0005871494,0.0004356717,0.0004717307,0.0008298712,0.0002111745,0.03567094],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008959395,"threshold_uncertainty_score":0.02997214,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06551122478231355,"score_gpt":0.2522191826321599,"score_spread":0.1867079578498463,"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."}}