Configuration Structures (Extended Abstract) (1995)

by R.J. van Glabbeek , G. D. Plotkin
Venue:Proceedings 10 th Annual IEEE Symposium on Logic in Computer Science, LICS’95
Citations:7 - 7 self