Edinburgh Research Archive: Browsing ERA

Edinburgh Research Archive

Browsing by Author Milner, Robin

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 3 to 6 of 6

Issue Date	Title	Author(s)	Supervisor(s)
1976	Mechanizing Structural Induction	Aubin, Raymond	Milner, Robin; Burstall, Rod; Meltzer, Bernard
1983	Operational approach to semantics and translation for programming languages	Li, Wei	Plotkin, Gordon; Hennessy, Matthew; Milner, Robin
1991	The Polyadic pi-Calculus: A Tutorial	Milner, Robin	-
1982	Semantics, Implementation and Pragmatics of Clear, a Program Specification Language	Sannella, Donald Theodore	Burstall, Rod; Milner, Robin

Showing results 3 to 6 of 6