Login / Signup

Approximation of a TRace, Asynchronous Automata and the Ordering of Events in a Distributed System.

Robert CoriYves Métivier
Published in: ICALP (1988)
Keyphrases