{"id":"W2160554755","doi":"10.1109/icnp.1995.524827","title":"Protocol synthesis using basic Lotos and global variables","year":2002,"lang":"en","type":"article","venue":"","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal","funders":"","keywords":"Computer science; Protocol (science); Language Of Temporal Ordering Specification; Programming language; Transformation (genetics); Theoretical computer science; Specification language; Formal description; Service (business); Distributed 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.00209829,0.0007073231,0.0006351598,0.0007032647,0.0004936638,0.0008813517,0.0008731298,0.000624022,0.002237298],"category_scores_gemma":[0.002151184,0.0006119026,0.0009240796,0.0005598264,0.001493779,0.001775923,0.001215335,0.001340576,0.0004918032],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006200715,"about_ca_system_score_gemma":0.0009082179,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004246819,"about_ca_topic_score_gemma":0.0005146349,"domain_scores_codex":[0.9988501,0.0003481724,0.0001049412,0.0002029332,0.0003915488,0.0001023694],"domain_scores_gemma":[0.9989818,0.0005100066,0.00007626723,0.0002224647,0.0001717525,0.00003780365],"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.0003316316,0.00007702725,0.0003327414,0.000599559,0.00006563704,0.0002985176,0.0006357234,0.08632395,0.04781037,0.745154,0.001610981,0.1167598],"study_design_scores_gemma":[0.0002726012,0.000524656,0.000169868,0.0001721365,0.0001153444,0.0003183344,0.0001236362,0.3550871,0.1026959,0.481213,0.05920826,0.00009916455],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004976247,0.0002053941,0.9916483,0.00007310323,0.00003711375,0.00009177072,0.00002964242,0.0004228339,0.002515543],"genre_scores_gemma":[0.1922875,0.0005475511,0.8017952,0.0002072811,0.00004407861,0.0007385789,0.000174826,0.0002921534,0.003912778],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002237298,"threshold_uncertainty_score":0.01109695,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03582872251183743,"score_gpt":0.2677484295632656,"score_spread":0.2319197070514282,"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."}}