Searching for:
Found 252 results
sorted by:
Pages: 1 2 3 ... 26
C. A. R. Hoare : Communicating Sequential Processes 1985
C. A. R. Hoare : Communicating Sequential Processes. Commun. ACM (CACM) 21(8):666-677 (1978)
C. A. R. Hoare : An Axiomatic Basis for Computer Programming. Commun. ACM (CACM) 12(10):576-580 (1969)
C. A. R. Hoare : Monitors: An Operating System Structuring Concept. Commun. ACM (CACM) 17(10):549-557 (1974)
C. A. R. Hoare : The Verifying Compiler, a Grand Challenge for Computing Research. VMCAI 2005
C. A. R. Hoare : The verifying compiler: A grand challenge for computing research. J. ACM (JACM) 50(1):63-69 (2003)
C. A. R. Hoare : The Verifying Compiler: A Grand Challenge for Computing Research. Ershov Memorial Conference (ERSHOV) 2003
C. A. R. Hoare : The Verifying Compiler: A Grand Challenge for Computing Research. Euro-Par (EUROPAR) 2003
C. A. R. Hoare : The Verifying Compiler: A Grand Challenge for Computing Research. CC 2003
(search: 0.016 sec. - facets: 0.0 sec.) (?)
Pages: 1 2 3 ... 26

Refine by VENUE:

show:

Refine by YEAR:

show:
[No canvas support]