{"id":"W2337936678","doi":"","title":"Modeling distributed asynchronous processes using events and calculus of communicating systems.","year":2000,"lang":"en","type":"article","venue":"Scholarship at UWindsor (University of Windsor)","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Windsor","funders":"","keywords":"Asynchronous communication; Computer science; Process calculus; Calculus (dental); Theoretical computer science; Distributed computing; Telecommunications","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":true,"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.003131044,0.001217665,0.0006422627,0.001326185,0.001363764,0.003557088,0.002086691,0.001325156,0.002936222],"category_scores_gemma":[0.004459973,0.0006076923,0.001732102,0.001157978,0.002719522,0.004353974,0.002122991,0.002477096,0.0008403186],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001467235,"about_ca_system_score_gemma":0.002945493,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00500758,"about_ca_topic_score_gemma":0.004401168,"domain_scores_codex":[0.9976374,0.0009084127,0.0001918199,0.000315345,0.0007754797,0.0001715497],"domain_scores_gemma":[0.9981364,0.001079366,0.0002490957,0.0002148144,0.0002177813,0.0001025862],"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.00002141861,0.00004683443,0.00036452,0.0001294934,0.00002763656,0.0003215663,0.0005847918,0.05894457,0.002567112,0.9232636,0.001122368,0.01260594],"study_design_scores_gemma":[0.00005645386,0.00007563371,0.00014276,0.0001149996,0.00007969596,0.0002677457,0.0001718274,0.3988718,0.003911418,0.5202173,0.0760424,0.00004791158],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001608652,0.0003613172,0.9921122,0.0001590409,0.0001061238,0.0001315317,0.00003969718,0.0002682179,0.005213221],"genre_scores_gemma":[0.1408726,0.002381589,0.8423992,0.0002359149,0.0002570092,0.000708818,0.0002941776,0.0001921449,0.0126586],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00500758,"threshold_uncertainty_score":0.01655877,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03612212738391058,"score_gpt":0.2432519700518417,"score_spread":0.2071298426679311,"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."}}