Richard P. Hopkins

According to our database1, Richard P. Hopkins authored at least 19 papers between 1981 and 2008.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

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

2002
Two approaches to integrating UML and performance models.
Proceedings of the Third International 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 Informatica, 1998

1995
An M-net Semantics of B(PN)2.
Proceedings of the International Workshop on Structures in Concurrency Theory, 1995

A Class of Composable High Level Petri Nets with an Application to the Semantics of B(PN)<sup>2</sup>.
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)<sup>2</sup> - 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.
Proceedings of the 1983 ACM SIGPLAN Symposium on Programming Language Issues in Software Systems, 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, 1981


  Loading...