Residual Nominal Automata

Moerman, Joshua; Sammartino, Matteo

Saarbrücken/Wadern, Germany : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, August (2020)
Buchbeitrag, Beitrag zu einem Tagungsband

In: 31st International Conference on Concurrency Theory : CONCUR 2020, September 1-4, 2020, Vienna, Austria (virtual conference) / edited by Igor Konnov, Laura Kovács
Seite(n)/Artikel-Nr.: 44:1-44:21