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

1 | A Kleene Theorem for Nominal Automata | Brunet, Paul et al. | 2019 |

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

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

4 | On Decidability of Concurrent Kleene Algebra | Brunet, Paul et al. | 2017 |

5 | Reversible Kleene lattices | Brunet, Paul | 2017 |

6 | A Formal Exploration of Nominal Kleene Algebra | Brunet, Paul et al. | 2016 |

Number of result pages: | 1 |

Number of documents: | 6 |