Higher dimensional transition systems (1996)

by G L Cattani, V Sassone
Venue:In Eleventh Annual IEEE Symposium on Logic in Computer Science (LICS’96