Simulation Relations for Systems with Distributed Interfaces.

Robert M. Hierons, Manuel Nez

Browse the full SEFM paper archive.