-
Context-Free Event Domains are recognizable
The possibly non distributive event domains which arise from Winskel's event structures with binary conflict are known to coincide with the domains of configurations... -
A logical approach to locality in pictures languages
International audience
