Search

Active Objects are a programming paradigm that supports a non-competitive, data-driven concurrency model. This renders active object languages to be well-suited for simulation, data race-free programming, and formal verification. Concepts from active objects made their way into languages such as Rust, ABS, Akka, JavaScript, and Go. This is the first comprehensive state-of-art overview on the subject, the invited contributions are written by experts in the areas of distributed systems, formal methods, and programming languages.

Cette étude offre d'une part, une analyse selon laquelle la justice en République islamique de Mauritanie est en faillite. Elle procède par un état des lieux de la justice et du droit en République islamique de Mauritanie depuis son accession à l'indépendance jusqu'à nos jours. Il en ressort que le système judiciaire mauritanien est le produit d'une interaction entre justice traditionnelle et justice moderne. Les structures judiciaires mises en place après les indépendances se situent entre droit positif français et droit autochtone. Le cadre global de ce système est marqué par une absence totale de volontés politiques de créer des institutions judiciaires fortes. D'autre part, cet ouvrage propose de soumettre à l'analyse l'idée selon laquelle les modes alternatifs de règlement des conflits sont une solution en partie à la crise de l'institution judiciaire. La nature pacificatrice de la justice traditionnelle en Mauritanie constitue un héritage culturel qui a facilité l'introduction récente des formes modernes de justice alternative. Une justice conçue comme une manifestation de la liberté contractuelle. L'approche contemporaine de la justice a permis au législateur mauritanien de marquer ces dernières années sa volonté de soutenir les MARC, qui constituent aujourd'hui un autre modèle de justice. Enfin, l'auteur propose des solutions de réformes adaptées aux problèmes identifiés en prenant en compte le contexte actuel de la Mauritanie.