Login / Signup

Reward Testing Equivalences for Processes.

Rob van Glabbeek
Published in: Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Keyphrases