Bisimilarity of Open Terms in Stream GSOS.

Filippo Bonchi Tom van Bussel Matias David Lee Jurriaan Rot

Published in: CoRR (2018)

Keyphrases

information systems
data streams
evolutionary algorithm
background knowledge