Login / Signup

Reasoning about Knowledge in Asynchronous Distributed Systems.

Vania CostaMario R. F. Benevides
Published in: Log. J. IGPL (2005)
Keyphrases