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
Institutions
- Department of Computer Science [120000]
- Chair of Computer Science 2 (Software Modeling and Verification) [121310]
Identifier
- DOI: 10.4230/LIPIcs.CONCUR.2020.44
- RWTH PUBLICATIONS: RWTH-2020-10399