|
СТ |
The Box Calculus: a New Causal Algebra with Multi-label Communication |
1992 |
Best E., Devillers R., Hall J. G. |
|
|
|
Lecture Notes in Computer Science |
09.07.1992 |
|
СТ |
A Strategic Profiler for Glasgow Parallel Haskell |
1999 |
King D. J., Hall J. G., Trinder P. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
19.08.1999 |
|
СТ |
Towards an Operational Semantics for a Parallel Non-Strict Functional Language |
1999 |
Hall J. G., Baker-Finch C., Trinder P., King D. J. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
19.08.1999 |
|
СТ |
High-Integrity Interfacing to Programmable Logic with AdaP. |
2004 |
Hilton A. J., Hall J. G. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
30.07.2004 |
