Configuration structures (extended abstract (1995)

by R J van Glabbeek, G D Plotkin
Venue:Proc. Tenth Annual Symp. on Logic in Computer Science, LICS’95