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.

Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness

Tobias Kappé, Paul Brunet, Alexandra Silva 0001, Jana Wagemaker, Fabio Zanasi. Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness. In Jean Goubault-Larrecq, Barbara König 0001, editors, Foundations of Software Science and Computation Structures - 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings. Volume 12077 of Lecture Notes in Computer Science, pages 381-400, Springer, 2020. [doi]

Authors

Tobias Kappé

This author has not been identified. Look up 'Tobias Kappé' in Google

Paul Brunet

This author has not been identified. Look up 'Paul Brunet' in Google

Alexandra Silva 0001

This author has not been identified. Look up 'Alexandra Silva 0001' in Google

Jana Wagemaker

This author has not been identified. Look up 'Jana Wagemaker' in Google

Fabio Zanasi

This author has not been identified. Look up 'Fabio Zanasi' in Google
runs on