Richard P. Hopkins

According to our database1, Richard P. Hopkins
  • authored at least 18 papers between 1981 and 2008.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2008
Distributed Computing Education, Part 3: The Winter School Online Experience.
IEEE Distributed Systems Online, 2008

Distributed Computing Education, Part 2: International Summer Schools.
IEEE Distributed Systems Online, 2008

2002
Two approaches to integrating UML and performance models.
Workshop on Software and Performance, 2002

A Visual Formalism for the Composition of Stochastic Petri Nets.
Proceedings of the Computer Performance Evaluation, 2002

1998
M-Nets: An Algebra of High-Level Petri Nets, with an Application to the Semantics of Concurrent Programming Languages.
Acta Inf., 1998

1995
A Class of Composable High Level Petri Nets with an Application to the Semantics of B(PN)2.
Proceedings of the Application and Theory of Petri Nets 1995, 1995

1994
Voting on Synchronous Communications.
Proceedings of the PARLE '94: Parallel Architectures and Languages Europe, 1994

1993
B(PN)2 - a Basic Petri Net Programming Notation.
Proceedings of the PARLE '93, 1993

1992
A basic-net algebra for program semantics and its application to OCCAM.
Proceedings of the Advances in Petri Nets 1992, The DEMON Project, 1992

1990
Distributed Computers: Object-vs. Unix-Based and Beyond (Abstract).
Proceedings of the Advances in Computing and Information, 1990

Distributable nets.
Proceedings of the Advances in Petri Nets 1991, 1990

1984
Reduced-instruction set multi-microcomputer system.
Proceedings of the American Federation of Information Processing Societies: 1984 National Computer Conference, 1984

1983
General purpose decentralised computer architecture.
PhD thesis, 1983

Decentralised control flow - based on UNIX.
SIGPLAN Notices, 1983

1982
Data-Driven and Demand-Driven Computer Architecture.
ACM Comput. Surv., 1982

Combining Data Flow and Control Flow Computing.
Comput. J., 1982

A recursive computer architecture for VLSI.
Proceedings of the 9th International Symposium on Computer Architecture (ISCA 1982), 1982

1981
Decentralized Computation.
Proceedings of the 8th Annual Symposium on Computer Architecture, May 1981, 1981


  Loading...