2002 |
14 | EE | Richard P. Hopkins,
Peter J. B. King:
A Visual Formalism for the Composition of Stochastic Petri Nets.
Computer Performance Evaluation / TOOLS 2002: 239-258 |
13 | EE | Richard P. Hopkins,
M. J. Smith,
Peter J. B. King:
Two approaches to integrating UML and performance models.
Workshop on Software and Performance 2002: 91-92 |
1998 |
12 | EE | Eike Best,
Wojciech Fraczak,
Richard P. Hopkins,
Hanna Klaudel,
Elisabeth Pelz:
M-Nets: An Algebra of High-Level Petri Nets, with an Application to the Semantics of Concurrent Programming Languages.
Acta Inf. 35(10): 813-857 (1998) |
1995 |
11 | | Eike Best,
Hans Fleischhack,
Wojciech Fraczak,
Richard P. Hopkins,
Hanna Klaudel,
Elisabeth Pelz:
A Class of Composable High Level Petri Nets with an Application to the Semantics of B(PN)2.
Application and Theory of Petri Nets 1995: 103-120 |
1994 |
10 | | Richard P. Hopkins:
Voting on Synchronous Communications.
PARLE 1994: 97-108 |
1993 |
9 | | Eike Best,
Richard P. Hopkins:
B(PN)2 - a Basic Petri Net Programming Notation.
PARLE 1993: 379-390 |
1992 |
8 | | Richard P. Hopkins,
Jon G. Hall,
Oliver Botti:
A basic-net algebra for program semantics and its application to OCCAM.
Advances in Petri Nets: The DEMON Project 1992: 179-214 |
1990 |
7 | | Richard P. Hopkins:
Distributable nets.
Applications and Theory of Petri Nets 1990: 161-187 |
6 | | Richard P. Hopkins:
Distributed Computers: Object-vs. Unix-Based and Beyond (Abstract).
ICCI 1990: 6 |
1984 |
5 | EE | Lewis Foti,
David English,
Richard P. Hopkins,
David J. Kinniment,
Philip C. Treleaven,
Wang Long Wang:
Reduced-instruction set multi-microcomputer system.
AFIPS National Computer Conference 1984: 69-76 |
1982 |
4 | EE | Philip C. Treleaven,
Richard P. Hopkins:
A recursive computer architecture for VLSI.
ISCA 1982: 229-238 |
3 | | Philip C. Treleaven,
David R. Brownbridge,
Richard P. Hopkins:
Data-Driven and Demand-Driven Computer Architecture.
ACM Comput. Surv. 14(1): 93-143 (1982) |
2 | | Philip C. Treleaven,
Richard P. Hopkins,
Paul W. Rautenbach:
Combining Data Flow and Control Flow Computing.
Comput. J. 25(2): 207-217 (1982) |
1981 |
1 | | Philip C. Treleaven,
Richard P. Hopkins:
Decentralized Computation.
ISCA 1981: 279-290 |