|
СТ |
Linking Theories of Concurrency |
2005 |
Jifeng H., Hoare C.A. R. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
29.11.2005 |
|
М |
Algebraic Specification and Proof of Properties of a Mail Service |
1986 |
Hoare C.A. R., He J. |
|
|
|
IFIP: TC 2, Working Conf. on Program Specification and Transformation |
09.12.1999 |
|
СТ |
Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle |
1999 |
Hoare C.A. R. |
|
|
|
Lecture Notes in Computer Science |
20.11.1999 |
|
СТ |
A Trace Model for Pointers and Objects |
1999 |
Hoare C.A. R., Jifeng H. |
|
|
|
Lecture Notes in Computer Science |
09.07.1999 |
|
СТ |
Specification-Oriented Semantics for Communicating Processes |
1983 |
Olderog E. -R., Hoare C.A. R. |
|
|
Oxford Univ. |
|
03.06.1995 |
|
СТ |
Provably Correct Systems |
1994 |
He J., Hoare C.A. R., Franzle M., Muller-Olm M., Olderog E. -R., Schenke M., Hansen M. R., Ravn A. P., Rischel H. |
|
|
|
Lecture Notes in Computer Science |
19.10.1994 |
|
СТ |
Algebra and Models |
1993 |
Hoare C.A. R. |
|
|
|
Software Engineering Notes |
12.04.1994 |
|
СТ |
Hardware and Software: The Closing Gap |
1994 |
Hoare C.A. R., Page I. |
|
|
|
Lecture Notes in Computer Science |
31.03.1994 |
|
СТ |
Normal Form Approach to Compiler Design |
1993 |
Hoare C.A. R., Jifeng H., Sampaio A. |
|
|
|
Acta Informatica |
08.02.1994 |
|
СТ |
From algebra to operational semantics |
1993 |
Jifeng H., Hoare C.A. R. |
|
|
|
Information Processing Letters |
24.03.1993 |
|
СТ |
Let s Make Models |
1990 |
Hoare C.A. R. |
|
|
|
Lecture Notes in Computer Science |
31.01.1991 |
