Login / Signup

Order-Independence of Vector-Based Transition Systems.

Matthias RaffelsieperMohammad Reza MousaviHans Zantema
Published in: ACSD (2010)
Keyphrases
  • concurrent systems
  • transition systems