Login / Signup

Fully abstract models and refinements as tools to compare agents in timed coordination languages.

Jean-Marie JacquetIsabelle Linden
Published in: Theor. Comput. Sci. (2009)
Keyphrases