Partially Observable Concurrent Kleene Algebra

First Author: Jana Wagemaker
Attributed to:  A coalgebraic framework for reductive logic and proof-search (ReLiC) funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://drops.dagstuhl.de/opus/volltexte/2020/12832/

Type: Book Chapter

Book Title: 31st International Conference on Concurrency Theory (CONCUR 2020) (2020)

Page Reference: 20:1--20:22

ISBN: 978-3-95977-160-3