Edinburgh Research Archive: Browsing ERA

Edinburgh Research Archive

Browsing by Author Anderson, Stuart

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 8 to 10 of 10

Issue Date	Title	Author(s)	Supervisor(s)
Jul-2000	The structure of call-by-value	Führmann, Carsten	Anderson, Stuart; Power, John
Jul-1993	Timed Processes: Models, Axioms and Decidability	Chen, Liang	Anderson, Stuart; Power, John
Jul-1997	A Type-Theoretic Analysis of Modular Specifications	Maharaj, Savitri	Anderson, Stuart

Showing results 8 to 10 of 10