@dblp

Simulation Relations for Systems with Distributed Interfaces.

, and . SEFM, page 41-50. IEEE Computer Society, (2009)

Links and resources

Tags