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.

Corecursion Up-to via Causal Transformations

Damien Pous, Jurriaan Rot, Ruben Turkenburg. Corecursion Up-to via Causal Transformations. In Helle Hvid Hansen, Fabio Zanasi, editors, Coalgebraic Methods in Computer Science - 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings. Volume 13225 of Lecture Notes in Computer Science, pages 133-154, Springer, 2022. [doi]

Authors

Damien Pous

This author has not been identified. Look up 'Damien Pous' in Google

Jurriaan Rot

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

Ruben Turkenburg

This author has not been identified. Look up 'Ruben Turkenburg' in Google
runs on