Logique de séparation

La logique de séparation sur une telle structure est le retournement en place. La logique de séparation concurrente est une extension de la logique de séparation pour les programmes concurrents. Les travaux sur cette logique ont permis à Stephen Brookes et Pet…