СТ |
A Visual Formalism for the Composition of Stochastic Petri Nets |
2002 |
Hopkins R., King P. |
|
|
|
Lecture Notes in Computer Science |
29.05.2002 |
СТ |
B (PN)2 - a Basic Petri Net Programming Notation |
1993 |
Best E., Hopkins R. |
|
|
|
Lecture Notes in Computer Science |
29.07.1993 |
СТ |
A Basic-Net Algebra for Program Semantics and its Application to OCCAM |
1992 |
Hopkins R., Hall J., Botti O. |
|
|
|
Lecture Notes in Computer Science |
09.07.1992 |
П |
A computer supporting data flow, control flow and updatable memory |
1979 |
Hopkins R., Rautenbach P., Treleaven P. |
|
|
Univ.Newcastle |
|
02.03.1991 |