gitlab.inria.fr / causality 4 Dépôts
Software under the causality project that aims at providing a framework to describe causal and interactive semantics of programming languages.
causality/petri-strategies
dernière synchronisation: il y a 7 mois - enregistré: il y a 11 mois - étoiles: 0 - forks: 0
causality/causality-monad
The causality monad, to describe concurrent computations.
dernière synchronisation: il y a 7 mois - enregistré: il y a 11 mois - étoiles: 0 - forks: 0
causality/causal-ocaml
An implementation of a causal and interactive model for a concurrent MiniOCaml
dernière synchronisation: il y a 7 mois - enregistré: il y a 11 mois - étoiles: 1 - forks: 0
causality/weakmem
Implementation of weak memory models using Causality
dernière synchronisation: il y a 7 mois - étoiles: 0 - forks: 0