Configuration structures (0)

by R Van Glabbeek, G Plotkin
Venue:In Logic in Computer Science