Mathematical model of concurrent computation. - George J. Milne (1977)

Concurrent Processes and Their Syntax. - George J. Milne; Robin Milner (J. ACM, 1979)

Abstraction and Nondeterminism in Concurrent Systems. - George J. Milne (ICDCS, 1982)

Description and Analysis Using Circal. - George J. Milne (The Analysis of Concurrent Systems, 1983)

Circal: A calculus for circuit description. - George J. Milne (Integr., 1983)

A model for hardware description and verification. - George J. Milne (DAC, 1984)

Circal and the Representation of Communication, Concurrency, and Time. - George J. Milne (ACM Trans. Program. Lang. Syst., 1985)

Design for Verifiability. - George J. Milne (Hardware Specification, Verification and Synthesis, 1989)

An Automated Proof Technique for Finite-State Machine Equivalence. - Wenbo Mao; George J. Milne (CAV, 1991)

The Formal Description and Verification of Hardware Timing. - George J. Milne (IEEE Trans. Computers, 1991)

A Highly Parallel FPL-Based Machine and Its Formal Verification. - Paul Shaw; George J. Milne (FPL, 1992)

Design and verification of a highly concurrent machine. - Peter Barrie; Paul Cockshott; George J. Milne; Paul Shaw (Microprocess. Microsystems, 1992)

An Exercise in the Automatic Verification of Asynchronous Designs. - Andrew M. Bailey; George Alexander McCaskill; George J. Milne (Formal Methods Syst. Des., 1994)

ARM7100 - A High-Integration, Low-Power Microcontroller for PDA Applications. - Graham Budd; George J. Milne (COMPCON, 1996)

The Circal System. - Antonio Cerone; Alex J. Cowie; George J. Milne (AMAST, 1997)

Specification of Timing Constraints within the Circal Process Algebra. - Antonio Cerone; George J. Milne (AMAST, 1997)

Reconfigurable custom computing as a supercomputer replacement. - George J. Milne (HiPC, 1997)

Modelling a Time-Dependent Protocol Using the Circal Process Algebra. - Antonio Cerone; Alex J. Cowie; George J. Milne; Philip A. Moseley (HART, 1997)

Integrating the Verification of Timing, Performance and Correctness Properties of Concurrent Systems. - Antonio Cerone; David A. Kearney; George J. Milne (ACSD, 1998)

A Model for Dynamic Adaptation in Reconfigurable Hardware Systems. - George J. Milne (Evolvable Hardware, 1999)

A Methodology for the Formal Analysis of Asynchronous Micropipelines. - Antonio Cerone; George J. Milne (FMCAD, 2000)

Behavioural Language Compilation with Virtual Hardware Management. - Oliver Diessel; George J. Milne (FPL, 2000)

Implementing Kak Neural Networks on a Reconfigurable Computing Platform. - Jihan Zhu; George J. Milne (FPL, 2000)

Compiling Process Algebraic Descriptions into Reconfigurable Logic. - Oliver Diessel; George J. Milne (IPDPS Workshops, 2000)

A methodology for design of run-time reconfigurable systems. - Gareth Lee; George J. Milne (FPT, 2002)

Building Run-Time Reconfigurable Systems from Tiles. - Gareth Lee; George J. Milne (FPL, 2003)

Properties as Processes: Their Specification and Verification. - Joel Kelso; George J. Milne (FORTE, 2005)

Modelling Dynamically Changing Hardware Structure. - George J. Milne (APC 25, 2005)

Property verification of asynchronous systems. - Antonio Cerone; George J. Milne (Innov. Syst. Softw. Eng., 2005)

Programming paradigms for reconfigurable computing. - Gareth Lee; George J. Milne (Microprocess. Microsystems, 2005)