Login / Signup

Reduction of event structures under history preserving bisimulation.

Abel Armas-CervantesPaolo BaldanLuciano García-Bañuelos
Published in: J. Log. Algebraic Methods Program. (2016)
Keyphrases