Title: A theoretical foundation for the design and implementation of deterministic digital systems