J.W. Thatcher, E.G. Wagner, et al.
ACM Transactions on Programming Languages and Systems (TOPLAS)
No abstract available.
J.W. Thatcher, E.G. Wagner, et al.
ACM Transactions on Programming Languages and Systems (TOPLAS)
J.W. Thatcher
ACM SIGPLAN Notices
J.W. Thatcher, J.B. Wright
Mathematical Systems Theory
J.B. Wright, E.G. Wagner, et al.
Theoretical Computer Science