James Lyle Peterson
-
A synthesis rule for concurrent systems
DAC '78 Proceedings of the 15th Design Automation Conference
A prime decomposition result for parallel systems
ACM SIGACT News