СТ |
M-nets: An Algebra of High-Level Petri Nets, with an Application to the Semantics of Concurrent Programming Languages |
1998 |
Best E., Fraczak W., Hopkins R. P., Klaudel H., Pelz E. |
|
|
|
Acta Informatica |
13.11.1998 |
СТ |
A Class of Composable High Level Petri Nets |
1995 |
Best E., Fleischhack H., Fraczak W., Hopkins R. P., Klaudel H., Pelz E. |
|
|
|
Lecture Notes in Computer Science |
05.07.1995 |
П |
A Computer supporting Data Flow, Control Flow and Updateable Memory |
1979 |
Hopkins R. P., Rautenbach P. W., Treleaven P. C. |
|
|
Computing Laboratory |
|
11.05.1995 |
СТ |
Voting on Synchronous Communications |
1994 |
Hopkins R. P. |
|
|
|
Lecture Notes in Computer Science |
24.08.1994 |