External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Up-to Techniques for Branching Bisimilarity

Rick Erkens, Jurriaan Rot, Bas Luttik. Up-to Techniques for Branching Bisimilarity. In Alexander Chatzigeorgiou, Riccardo Dondi, Herodotos Herodotou, Christos A. Kapoutsis, Yannis Manolopoulos, George A. Papadopoulos, Florian Sikora, editors, SOFSEM 2020: Theory and Practice of Computer Science - 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, Limassol, Cyprus, January 20-24, 2020, Proceedings. Volume 12011 of Lecture Notes in Computer Science, pages 285-297, Springer, 2020. [doi]

Authors

Rick Erkens

This author has not been identified. Look up 'Rick Erkens' in Google

Jurriaan Rot

This author has not been identified. Look up 'Jurriaan Rot' in Google

Bas Luttik

This author has not been identified. It may be one of the following persons: Look up 'Bas Luttik' in Google
runs on