|
СТ |
Alias Types for Recursive Data Structures |
2001 |
Walker D., Morrisett G. |
|
|
|
Lecture Notes in Computer Science |
27.07.2001 |
|
СТ |
Alias Types |
2000 |
Smith F., Walker D., Morrisett G. |
|
|
|
Lecture Notes in Computer Science |
25.04.2000 |
|
СТ |
Stack-Based Typed Assembly Language |
1998 |
Morrisett G., Crary K., Glew N., Walker D. |
|
|
|
Lecture Notes in Computer Science |
24.09.1998 |
|
СТ |
From System F to Typed Assembly Language |
1998 |
Morrisett G., Walker D., Crary K., Glew N. |
|
|
|
Conf. Record of POPL 98: The 25th ACM SIGPLAN-SIGACT, Symp. on Principles of Programming Languages |
14.05.1998 |
|
СТ |
Social Confluence in Client-Server Systems |
1997 |
Philippou A., Walker D. |
|
|
|
Lecture Notes in Computer Science |
18.07.1997 |
|
СТ |
On Sharing and Determinacy in Concurrent Systems |
1995 |
Philippou A., Walker D. |
Lecture Notes in Computer Science |
|
|
CONCUR 95: Concurrency Theory |
17.10.1995 |
|
СТ |
A Polymorphic Type System for the Polyadic Pi-calculus |
1995 |
Liu X., Walker D. |
Lecture Notes in Computer Science |
|
|
CONCUR 95: Concurrency Theory |
14.10.1995 |
|
П |
Analysing mutual exclusion algorithms using CCS |
1988 |
Walker D. |
|
|
Univ.Edinburgh |
|
20.06.1995 |
|
СТ |
Confluence of Processes and Systems of Objects |
1995 |
Liu X., Walker D. |
|
|
|
Lecture Notes in Computer Science |
16.06.1995 |
|
СТ |
On Bisimulation in the -calculus |
1994 |
Walker D. |
|
|
|
Lecture Notes in Computer Science |
26.08.1994 |
|
СТ |
Algebraic Proofs of Properties of Objects |
1994 |
Walker D. |
|
|
|
Lecture Notes in Computer Science |
13.05.1994 |
|
СТ |
Local model checking in the modal mu-calculus |
1991 |
Stirling C., Walker D. |
|
|
|
Theoretical Computer Science |
28.11.1991 |
