Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency.

Lus Caires, tienne Lozes

Browse the full CONCUR paper archive.