Residual Nominal Automata

Moerman, Joshua; Sammartino, Matteo

Saarbrücken/Wadern, Germany : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, August (2020)
Contribution to a book, Contribution to a conference proceedings

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


  • Department of Computer Science [120000]
  • Chair of Computer Science 2 (Software Modeling and Verification) [121310]


Related publications