Login / Signup

Unique Parallel Decomposition in Branching and Weak Bisimulation Semantics.

Bas Luttik
Published in: IFIP TCS (2012)
Keyphrases