Nominal Computation Theory (Dagstuhl Seminar 13422)
This report documents the program and the outcomes of Dagstuhl
Seminar 13422 "Nominal Computation Theory". The underlying theme of
the seminar was nominal sets (also known as sets with atoms or
Fraenkel-Mostowski sets) and they role and applications in three
distinct research areas: automata over infinite alphabets, program
semantics using nominal sets and nominal calculi of concurrent
processes.