Login / Signup

Equality of Agent Expressions is preserved Under an Extension of the Universe of Actions.

Thierry MassartRaymond R. Devillers
Published in: Formal Aspects Comput. (1993)
Keyphrases