Parallel simulation in rewriting logic: some observations.

Karim Djemame, Mohamed Bettaz

Browse the full PDP paper archive.