No. | Title | Author | Year |
---|---|---|---|

1 | Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness | Schmid, Todd et al. | 2021 |

2 | Partially Observable Concurrent Kleene Algebra | Wagemaker, Jana et al. | 2020 |

3 | Kleene Algebra with Observations | Kappé, Tobias et al. | 2019 |

4 | Tree Automata as Algebras: Minimisation and Determinisation | van Heerdt, Gerco et al. | 2019 |

5 | Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages | Kappé, Tobias et al. | 2017 |

Current Page :
| |

Number of result pages: | 1 |

Number of documents: | 5 |