Title: An algebra of discrete event processes
Subjects: Control theory