Paper accepted at FSEN'17

Filippo Bonchi, Matias David Lee and Jurriaan Rot. "Bisimilarity of Open Terms in Stream GSOS", in FSEN'17: 7th IPM International Conference on Fundamentals of Software Engineering. Tehran, Iran.

Powered by Drupal