Resource separation in dynamic logic of propositional assignments - Boudou, Joseph; Herzig, Andreas; Troquard, Nicolas (Journal of logical and algebraic methods in programming, 2021)
Keywords: Artificial Intelligence; Computer Science; Concurrency; Discrete Mathematics; Dynamic logic; Logic; Mathematics; Parallel composition; Propositional assignments; Separation logic; Symbolic Computation; Separation logic; Parallel composition; Dynamic logic; Propositional assignments; Concurrency; propositional assignments; separation logic; parallel composition; concurrency