IFIP Logo
Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification


Talk "Nominal Automata with Name Allocation"

by Lutz Schröder

Tue, 06 February 2024 at 02:00 pm in Salzburg, Austria

Joint work with: Dexter Kozen, Stefan Milius, Simon Prucker, Thorsten WIßmann, Henning Urbat, Daniel Hausmann