Temporal structures, Revision of article (1991)

by R Casley, R F Crew, J Meseguer, V Pratt
Venue:in Mathematical Structures in Computer Science