OPDL : L'avenir de laOPDL : L'avenir de lalogique dynamiquepropositionnelle opérationnelle.programmation avec la logique dynamiqueExplorer la concurrence enLogique en informatiqueAvancées dans la logique dynamique propositionnelle opérationnelleUn aperçu du rôle d'OPDL dans le raisonnement sur les programmes concurrentiels.2025-08-25T00:09:24+00:00 ― 8 min lire