Implementing Inequality and Non-Deterministic Specifications with Bi-Rewriting Systems.

Jordi Levy, Jaume Agust-Cullell

Browse the full COMPASS paper archive.