Relating conflict-free stable transition and event models (extended abstract)
Keyword(s):
Keyword(s):
Keyword(s):