A Complete Axiomatisation for Quantifier-Free Separation Logic von Demri, Stéphane, Lozes, Étienne, Mansutti, Alessio

Volltext

Shared Contract-Obedient Endpoints von Lozes, Étienne, Villard, Jules

Volltext

Synchronizability of Communicating Finite State Machines is not Decidable von Finkel, Alain, Lozes, Etienne

Volltext

A Type-Directed Negation Elimination von Lozes, Etienne

Volltext

Elimination of spatial connectives in static spatial logics von LOZES, Etienne

Volltext

Shared contract-obedient channels von Lozes, Étienne, Villard, Jules

Volltext

Multi-buffer simulations: Decidability and complexity von Hutagalung, Milka, Hundeshagen, Norbert, Kuske, Dietrich, Lange, Martin, Lozes, Étienne

Volltext

Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency von Caires, Luís, Lozes, Étienne

Volltext

Separability, expressiveness, and decidability in the ambient logic von Hirschkoff, D., Lozes, E., Sangiorgi, D.

Volltext

A spatial equational logic for the applied π-calculus von Lozes, Étienne, Villard, Jules

Volltext

Multi-Buffer Simulations for Trace Language Inclusion von Hutagalung, Milka, Hundeshagen, Norbert, Kuske, Dietrich, Lange, Martin, Lozes, Etienne

Volltext

Two-Buffer Simulation Games von Hutagalung, Milka, Hundeshagen, Norbert, Kuske, Dietrich, Lange, Martin, Lozes, Etienne

Volltext

Buffered Simulation Games for Büchi Automata von Hutagalung, Milka, Lange, Martin, Lozes, Etienne

Volltext

Model-Checking the Higher-Dimensional Modal mu-Calculus von Lange, Martin, Lozes, Etienne

Volltext

A spatial equational logic for the applied [pi]-calculus von Lozes, Étienne, Villard, Jules

Volltext

The Effects of Adding Reachability Predicates in Quantifier-Free Separation Logic von Demri, Stéphane, Lozes, Etienne, Mansutti, Alessio

Volltext

On the almighty wand von Brochenin, Rémi, Demri, Stéphane, Lozes, Etienne

Volltext

Separability in the Ambient Logic von Hirschkoff, Daniel, Lozes, Etienne, Sangiorgi, Davide

Volltext

Proving Copyless Message Passing von Villard, Jules, Lozes, Étienne, Calcagno, Cristiano

Volltext

Model-Checking Process Equivalences von Lange, Martin, Lozes, Etienne, Vargas Guzmán, Manuel

Volltext