A Kleene Theorem for Nominal Automata (2019)

First Author: Paul Brunet

Attributed to: Interface reasoning for interacting systems (IRIS). funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://drops.dagstuhl.de/opus/volltexte/2019/10683/pdf/LIPIcs-ICALP-2019-107.pdf

Type: Conference/Paper/Proceeding/Abstract

Volume: 132

Issue: 46th