How to Specify Non-Determinism and True Concurrency with Algebraic Term Nets.

Mohamed Bettaz, Mourad Maouche

Browse the full COMPASS paper archive.