Login / Signup
The Problem of "Weak Bisimulation up to".
Davide Sangiorgi
Robin Milner
Published in:
CONCUR (1992)
Keyphrases
</>
genetic algorithm
information systems
data streams
user interface
management system