Higher-dimensional transition systems (1996)

by G L Cattani, V Sassone
Venue:11th Annual IEEE Symposium on Logic in Computer Science (New