Distributed Computing Education, Part 2: International Summer Schools. - Fergusson, David; Hopkins, Richard P.; Romano, Diego; Meer, Elizabeth Vander; Atkinson, Malcolm P. (IEEE Distributed Syst. Online, 2008)

Distributed Computing Education, Part 3: The Winter School Online Experience. - Fergusson, David; Jandric, Petar; Hopkins, Richard P.; Meer, Elizabeth Vander; Atkinson, Malcolm P. (IEEE Distributed Syst. Online, 2008)

A Visual Formalism for the Composition of Stochastic Petri Nets. - Hopkins, Richard P.; King, Peter J. B. (2002)

Two approaches to integrating UML and performance models. - Hopkins, Richard P.; Smith, M. J.; King, Peter J. B. (2002)

M-Nets: An Algebra of High-Level Petri Nets, with an Application to the Semantics of Concurrent Programming Languages. - Best, Eike; Fraczak, Wojciech; Hopkins, Richard P.; Klaudel, Hanna; Pelz, Elisabeth (Acta Informatica, 1998)

A Class of Composable High Level Petri Nets with an Application to the Semantics of B(PN)2. - Best, Eike; Fleischhack, Hans; Fraczak, Wojciech; Hopkins, Richard P.; Klaudel, Hanna; Pelz, Elisabeth (1995)

An M-net Semantics of B(PN)2. - Best, Eike; Fleischhack, Hans; Fraczak, Wojciech; Hopkins, Richard P.; Klaudel, Hanna; Pelz, Elisabeth (1995)

Voting on Synchronous Communications. - Hopkins, Richard P. (1994)

B(PN)2 - a Basic Petri Net Programming Notation. - Best, Eike; Hopkins, Richard P. (1993)

A basic-net algebra for program semantics and its application to OCCAM. - Hopkins, Richard P.; Hall, Jon G.; Botti, Oliver (1992)

Distributable nets. - Hopkins, Richard P. (1990)

Distributed Computers: Object-vs. Unix-Based and Beyond (Abstract). - Hopkins, Richard P. (1990)

Reduced-instruction set multi-microcomputer system. - Foti, Lewis; English, David; Hopkins, Richard P.; Kinniment, David; Treleaven, Philip C.; Wang, Wang Long (1984)

General purpose decentralised computer architecture. - Hopkins, Richard P. (1983)

Decentralised control flow - based on UNIX. - Lima, Isabel Gouveia; Hopkins, Richard P.; Marshall, Lindsay; Mundy, David; Treleaven, Philip C. (1983)

Combining Data Flow and Control Flow Computing. - Treleaven, Philip C.; Hopkins, Richard P.; Rautenbach, Paul W. (Comput. J., 1982)

Data-Driven and Demand-Driven Computer Architecture. - Treleaven, Philip C.; Brownbridge, David R.; Hopkins, Richard P. (ACM Comput. Surv., 1982)

A recursive computer architecture for VLSI. - Treleaven, Philip C.; Hopkins, Richard P. (1982)

Decentralized Computation. - Treleaven, Philip C.; Hopkins, Richard P. (1981)