Formalisation of a New Weak Semantics for AuDaLa.

Gijs P. Leemrijse, Tom T. P. Franken, Thomas Neele

Browse the full ATVA paper archive.