![[IEEE 23rd Annual Symposium on Foundations of Computer Science - Chicago, IL, USA (1982.11.3-1982.11.5)] 23rd Annual Symposium on Foundations of Computer Science (sfcs 1982) - Deterministic process logic is elementary]()
[IEEE 23rd Annual Symposium on Foundations of Computer Science - Chicago, IL, USA (1982.11.3-1982.11.5)] 23rd Annual Symposium on Foundations of Computer Science (sfcs 1982) - Deterministic process logic is elementaryHalpern, Joseph Y.; Halpern, Joseph Y.; Halpern, Joseph Y.; Halpern, Joseph Y. · 1982