Login / Signup

The Problem of "Weak Bisimulation up to".

Davide SangiorgiRobin Milner
Published in: CONCUR (1992)
Keyphrases
  • genetic algorithm
  • information systems
  • data streams
  • user interface
  • management system