C. Talcott

Reasoning about functions with effects

C. Talcott, C. Talcott, 1999 .

A metaarchitecture for distributed resource management

C. Talcott, N. Venkatasubramanian, N. Venkatasubramanian, 1993, [1993] Proceedings of the Twenty-sixth Hawaii International Conference on System Sciences.