Characterising spectra of equivalences for event structures, logically

Paolo Baldan, Daniele Gorla, Tommaso Padoan, Ivano Salvo. Characterising spectra of equivalences for event structures, logically. Inf. Comput., 285(Part):104887, 2022. [doi]

Authors

Paolo Baldan

This author has not been identified. Look up 'Paolo Baldan' in Google

Daniele Gorla

This author has not been identified. Look up 'Daniele Gorla' in Google

Tommaso Padoan

This author has not been identified. Look up 'Tommaso Padoan' in Google

Ivano Salvo

This author has not been identified. Look up 'Ivano Salvo' in Google