Stratified Causal Theories for Reasoning about Deterministic Devices and Protocols.

Antony Galton, Juan Carlos Augusto

Browse the full TIME paper archive.