Richard P. Hopkins

19 papers A* 2C 1Journal 5Unranked 9

Year	Rank	Type	Title / Venue / Authors
2008	J	`jnl`	Distributed Computing Education, Part 2: International Summer Schools. IEEE Distributed Syst. Online David Fergusson, Richard P. Hopkins, Diego Romano, Elizabeth Vander Meer, Malcolm P. Atkinson
2008	J	`jnl`	Distributed Computing Education, Part 3: The Winter School Online Experience. IEEE Distributed Syst. Online David Fergusson, Petar Jandric, Richard P. Hopkins, Elizabeth Vander Meer, Malcolm P. Atkinson
2002	—	`conf`	A Visual Formalism for the Composition of Stochastic Petri Nets. Computer Performance Evaluation / TOOLS Richard P. Hopkins, Peter J. B. King
2002	—	`conf`	Two approaches to integrating UML and performance models. Workshop on Software and Performance Richard P. Hopkins, M. J. Smith, Peter J. B. King
1998	J	`jnl`	M-Nets: An Algebra of High-Level Petri Nets, with an Application to the Semantics of Concurrent Programming Languages. Acta Informatica Eike Best, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz
1995	—	`conf`	A Class of Composable High Level Petri Nets with an Application to the Semantics of B(PN) Application and Theory of Petri Nets Eike Best, Hans Fleischhack, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz
1995	—	`conf`	An M-net Semantics of B(PN)2. STRICT Eike Best, Hans Fleischhack, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz
1994	—	`conf`	Voting on Synchronous Communications. PARLE Richard P. Hopkins
1993	—	`conf`	B(PN) PARLE Eike Best, Richard P. Hopkins
1992	—	`ch.`	A basic-net algebra for program semantics and its application to OCCAM. Advances in Petri Nets: The DEMON Project Richard P. Hopkins, Jon G. Hall, Oliver Botti
1990	—	`conf`	Distributable nets. Applications and Theory of Petri Nets Richard P. Hopkins
1990	C	`conf`	Distributed Computers: Object-vs. Unix-Based and Beyond (Abstract). ICCI Richard P. Hopkins
1984	—	`conf`	Reduced-instruction set multi-microcomputer system. AFIPS National Computer Conference Lewis Foti, David English, Richard P. Hopkins, David Kinniment, Philip C. Treleaven, Wang Long Wang
1983	—	`conf`	Decentralised control flow - based on UNIX. SIGPLAN Isabel Gouveia Lima, Richard P. Hopkins, Lindsay Marshall, David Mundy, Philip C. Treleaven
1983	—	`—`	General purpose decentralised computer architecture. Richard P. Hopkins
1982	A*	`conf`	A recursive computer architecture for VLSI. ISCA Philip C. Treleaven, Richard P. Hopkins
1982	J	`jnl`	Combining Data Flow and Control Flow Computing. Comput. J. Philip C. Treleaven, Richard P. Hopkins, Paul W. Rautenbach
1982	J	`jnl`	Data-Driven and Demand-Driven Computer Architecture. ACM Comput. Surv. Philip C. Treleaven, David R. Brownbridge, Richard P. Hopkins
1981	A*	`conf`	Decentralized Computation. ISCA Philip C. Treleaven, Richard P. Hopkins