J.B. Wright, E.G. Wagner, et al.
Theoretical Computer Science
No abstract available.
J.B. Wright, E.G. Wagner, et al.
Theoretical Computer Science
J.W. Thatcher, E.G. Wagner, et al.
ACM Transactions on Programming Languages and Systems (TOPLAS)
J.W. Thatcher, J.B. Wright
Mathematical Systems Theory
R.K. Shyamasundar, J.W. Thatcher
IEEE Transactions on Software Engineering