Login / Signup

Deciding choreography realizability.

Samik BasuTevfik BultanMeriem Ouederni
Published in: POPL (2012)
Keyphrases
  • activity recognition