|
СТ |
Algebraic models of microprocessors. Architecture and organisation |
1996 |
Harman N. A., Tucker J. V. |
|
|
|
Acta Informatica |
20.09.1996 |
|
СТ |
Algebraic Models and the Correctness of Microprocessors |
1993 |
Harman N. A., Tucker J. V. |
|
|
|
Lecture Notes in Computer Science |
29.06.1993 |
|
СТ |
Infinite Systems of Equations over Inverse Limits and Infinite Synchronous Concurrent Algorithms |
1993 |
Stoltenberg-Hansen V., Tucker J. V. |
|
|
|
Lecture Notes in Computer Science |
11.06.1993 |
|
СТ |
Theory of computation over Stream Algebras, and its Applications |
1992 |
Tucker J. V., Zucker J. I. |
|
|
|
Lecture Notes in Computer Science |
17.09.1992 |
|
СТ |
Applications of Computability Theory over Abstract Data Types |
1989 |
Tucker J. V. |
|
|
|
J.W. de Bakker, 25 Jaar Semantiek |
04.10.1995 |
|
СТ |
Process Algebra with Asynchronous Communication Mechanisms |
1984 |
Bergstra J. A., Klop J. W., Tucker J. V. |
|
|
|
|
20.06.1995 |
