Edit Profile (opens in new tab) Hoare, C. A. R. Tony Compute Distance To: Compute Author ID: hoare.c-a-r-tony Published as: Hoare, C. A. R.; Hoare, Tony; Hoare, C. A. R. Tony; Hoare, C. A.; Hoare, C. more...less Further Spellings: Hoare, Charles Antony Richard External Links: MGP · Wikidata · dblp · GND · IdRef Awards: Turing Award (1980) Documents Indexed: 129 Publications since 1935, including 5 Books 8 Contributions as Editor · 2 Further Contributions Biographic References: 9 Publications Co-Authors: 64 Co-Authors with 73 Joint Publications 1,082 Co-Co-Authors all top 5 Co-Authors 61 single-authored 18 He, Jifeng 9 Möller, Bernhard 8 Struth, Georg 5 O’Hearn, Peter W. 5 van Staden, Stephan 4 Misra, Jayadev 4 Roscoe, Andrew William 4 Sanders, Jeff W. 4 Wehrman, Ian 3 Broy, Manfred 3 Clint, Maurice 3 Shankar, Natarajan 2 Dijkstra, Edsger Wybe 2 Ferreira, Carla 2 Francez, Nissim 2 Hayes, Ian J. 2 Jones, Cliff B. 2 Leavens, Gary T. 2 Macnaghten, A. M. 2 McKeag, R. M. 2 Morgan, Carroll C. 2 Olderog, Ernst-Rüdiger 2 Perrott, Ronald H. 2 Sorensen, I. H. 2 Spivey, J. Michael 2 Sufrin, B. A. 2 Wirth, Niklaus 2 Woodcock, James C. P. 2 Zhou, Chaochen 2 Zhu, Huibiao 1 Abrial, Jean-Raymond 1 Allison, Donald C. S. 1 Apt, Krzysztof Rafal 1 Ashcroft, Edward A. 1 Bauer, Friedrich Ludwig 1 Bicarregui, Juan C. 1 Bjørner, Dines 1 Brookes, Stephen D. 1 Bruni, Roberto 1 Bustard, D. W. 1 Dahl, Ole-Johan 1 Fournet, Cédric 1 Grünbauer, Johannes 1 Heliard, J. C. 1 Hepple, Les 1 Hussain, Akbar 1 Ichbiah, I. D. 1 Jackson, Michael A. 1 Jifeng, He 1 Johnston, H. C. 1 Johnston, Ron 1 Jones, Kelvyn 1 Kaubisch, W. H. 1 Kaublisch, W. H. 1 Kennaway, J. R. 1 Langmaack, Hans 1 Lauer, Peter Ernst 1 Lehmann, Daniel J. 1 Melgratti, Hernán 1 Montanari, Ugo G. 1 Müller, Martin Eric 1 Petersen, Rasmus Lerchedahl 1 Plummer, Paul J. 1 Rajamani, Sriram K. 1 Ravn, Anders P. 1 Rehof, Jakob 1 Roubine, O. 1 Sampaio, Augusto C. A. 1 Shepherdson, John C. 1 Sneeringer, W. J. 1 Steinbrüggen, Ralf 1 Villard, Jules 1 von Karger, Burghard all top 5 Serials 8 Information Processing Letters 8 Communications of the ACM 7 Acta Informatica 7 The Computer Journal. Section A / Section B 4 Theoretical Computer Science 2 ACM Computing Surveys 2 Journal of the Association for Computing Machinery 2 Software. Practice & Experience 2 Annales Societatis Mathematicae Polonae. Series IV 2 Formal Aspects of Computing 1 Computer Languages 1 Information Sciences 1 International Journal of Computer & Information Sciences 1 Journal of Computer and System Sciences 1 Philosophical Transactions of the Royal Society of London. Ser. A 1 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 1 Science of Computer Programming 1 MSCS. Mathematical Structures in Computer Science 1 Computing Surveys 1 Distributed Computing 1 Formal Methods in System Design 1 Open Economies Review 1 Higher-Order and Symbolic Computation 1 The Journal of Logic and Algebraic Programming 1 BIT. Nordisk Tidskrift for Informationsbehandling 1 A.P.I.C. Studies in Data Processing 1 Lecture Notes in Computer Science 1 NATO ASI Series. Series F. Computer and Systems Sciences 1 NATO Science Series III: Computer & Systems Sciences 1 Journal of Logical and Algebraic Methods in Programming 1 ACM Books all top 5 Fields 125 Computer science (68-XX) 10 General and overarching topics; collections (00-XX) 9 Mathematical logic and foundations (03-XX) 4 History and biography (01-XX) 3 Information and communication theory, circuits (94-XX) 2 Category theory; homological algebra (18-XX) 2 Numerical analysis (65-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 99 Publications have been cited 3,127 times in 2,267 Documents Cited by ▼ Year ▼ Communicating sequential processes. Zbl 0637.68007Hoare, C. A. R. 739 1985 An axiomatic basis for computer programming. Zbl 0179.23105Hoare, C. A. R. 522 1969 Communicating sequential processes. Zbl 0383.68028Hoare, C. A. R. 320 1978 A theory of communicating sequential processes. Zbl 0628.68025Brookes, S. D.; Hoare, C. A. R.; Roscoe, A. W. 236 1984 A calculus of durations. Zbl 0743.68097Zhou, Chaochen; Hoare, C. A. R.; Ravn, Anders P. 112 1991 Proof of correctness of data representations. Zbl 0244.68009Hoare, C. A. R. 106 1972 Quicksort. Zbl 0108.13601Hoare, C. A. R. 95 1962 Laws of programming. Zbl 0629.68006Hoare, C. A. R.; Hayes, I. J.; He, Jifeng; Morgan, C. C.; Roscoe, A. W.; Sanders, J. W.; Sorensen, I. H.; Spivey, J. M.; Sufrin, B. A. 62 1987 Specification-oriented semantics for communicating processes. Zbl 0569.68019Olderog, E.-R.; Hoare, Tony 59 1986 Unifying theories for logic programming. Zbl 1005.68036Hoare, C. A. R.; He, Jifeng 58 2001 Monitors: An operating system structuring concept. Zbl 0308.68029Hoare, C. A. R. 55 1974 Structured programming. Zbl 0267.68001Dahl, O.-J.; Dijkstra, E. W.; Hoare, C. A. R. 51 1972 Procedures and parameters: An axiomatic approach. Zbl 0221.68020Hoare, C. A. R. 42 1971 Concurrent Kleene algebra and its foundations. Zbl 1278.68176Hoare, Tony; Möller, Bernhard; Struth, Georg; Wehrman, Ian 35 2011 An axiomatic definition of the programming language Pascal. Zbl 0261.68040Hoare, C. A. R.; Wirth, N. 33 1974 Communicating sequential processes. Repr. Zbl 0841.68042Hoare, C. A. R. 33 1995 The verifying compiler: A grand challenge for computing research. Zbl 1032.68868Hoare, Tony 24 2003 Data refinement refined. Résumé. Zbl 0587.68018He, J.; Hoare, C. A. R.; Sanders, J. W. 24 1986 Semantics of nondeterminism, concurrency, and communication. Zbl 0434.68066Francez, Nissim; Hoare, C. A. R.; Lehmann, Daniel J.; de Roever, Willem P. 23 1979 Consistent and complementary formal theories of the semantics of programming languages. Zbl 0264.68006Hoare, C. A. R.; Lauer, P. E. 23 1974 The weakest prespecification. Zbl 0622.68025Hoare, C. A. R.; He, Jifeng 22 1987 Prespecification in data refinement. Zbl 0624.68027Hoare, C. A. R.; He, Jifeng; Sanders, J. W. 21 1987 Concurrent Kleene algebra. Zbl 1254.68172Hoare, C. A. R. Tony; Möller, Bernhard; Struth, Georg; Wehrman, Ian 20 2009 Some properties of predicate transformers. Zbl 0379.68016Hoare, C. A. R. 20 1978 Proof of a program: FIND. Zbl 0217.53701Hoare, C. A. R. 19 1971 Program proving: KJumps and functions. Zbl 0229.68003Clint, M.; Hoare, C. A. R. 18 1971 The weakest prespecification. I. Zbl 0603.68009Hoare, C. A. R.; He, Jifeng 17 1986 The laws of Occam programming. Zbl 0719.68039Roscoe, A. W.; Hoare, C. A. R. 17 1988 A contribution to the development of ALGOL. Zbl 0143.18603Wirth, N.; Hoare, C. A. R. 17 1966 A calculus of total correctness for communicating processes. Zbl 0485.68025Hoare, C. A. R. 14 1981 Stuck-free conformance. Zbl 1103.68612Fournet, Cédric; Hoare, Tony; Rajamani, Sriram K.; Rehof, Jakob 13 2004 Normal form approach to compiler design. Zbl 0790.68023Hoare, C. A. R.; He, Jifeng; Sampaio, A. 13 1993 Proof of a recursive program: Quicksort. Zbl 0231.68011Foley, M.; Hoare, C. A. R. 12 1971 The weakest prespecification, part II. Zbl 0627.68011Hoare, C. A. R.; He, Jifeng 12 1986 Unifying theories for parallel programming. Zbl 0996.68754Hoare, Tony; He, Jifeng 12 1997 Recursive data structures. Zbl 0301.68037Hoare, C. A. R. 11 1975 A trace semantics for long-running transactions. Zbl 1081.68644Butler, Michael; Hoare, Tony; Ferreira, Carla 11 2005 Proof of a structured program: ’The sieve of Eratosthenes’. Zbl 0267.68005Hoare, C. A. R. 9 1972 On locality and the exchange law for concurrent processes. Zbl 1343.68170Hoare, C. A. R.; Hussain, Akbar; Möller, Bernhard; O’Hearn, Peter W.; Petersen, Rasmus Lerchedahl; Struth, Georg 9 2011 Sequential calculus. Zbl 0875.68202von Karger, Burghard; Hoare, C. A. R. 8 1995 Graphical models of separation logic. Zbl 1200.68153Wehrman, Ian; Hoare, C. A. R.; O’Hearn, Peter W. 8 2009 Foundations of concurrent Kleene algebra. Zbl 1267.68154Hoare, C. A. R.; Möller, Bernhard; Struth, Georg; Wehrman, Ian 8 2009 Parallel programming: An axiomatic approach. Zbl 0362.68045Hoare, C. A. R. 7 1975 A note on the for statement. Zbl 0246.68003Hoare, C. A. R. 7 1972 Specification-oriented semantics for communicating processes. Zbl 0578.68009Olderog, E.-R.; Hoare, C. A. R. 7 1983 Comparing two approaches to compensable flow composition. Zbl 1134.68316Bruni, Roberto; Butler, Michael; Ferreira, Carla; Hoare, Tony; Melgratti, Hernán; Montanari, Ugo 7 2005 Algebraic specification and proof of a distributed recovery algorithm. Zbl 0621.68008He, Jifeng; Hoare, C. A. R. 6 1987 In praise of algebra. Zbl 1259.68030Hoare, Tony; van Staden, Stephan 6 2012 A trace model for pointers and objects. Zbl 0954.68045Hoare, C. A. R.; He, Jifeng 6 1999 From algebra to operational semantics. Zbl 0795.68124He, Jifeng; Hoare, C. A. R. 6 1993 Separation logic semantics for communicating processes. Zbl 1286.68352Hoare, Tony; O’Hearn, Peter 6 2008 Programs are predicates. Zbl 0864.68009Hoare, C. A. R. 5 1992 Developments in concurrent Kleene algebra. Zbl 1344.68149Hoare, Tony; van Staden, Stephan; Möller, Bernhard; Struth, Georg; Zhu, Huibiao 5 2016 Developments in concurrent Kleene algebra. Zbl 1344.68148Hoare, Tony; van Staden, Stephan; Möller, Bernhard; Struth, Georg; Villard, Jules; Zhu, Huibiao; O’Hearn, Peter 5 2014 A couple of novelties in the propositional calculus. Zbl 0563.03004Hoare, C. A. R. 5 1985 Pre-adjunctions in order enriched categories. Zbl 0755.18003Martin, C. E.; Hoare, C. A. R.; He, Jifeng 4 1991 A more complete model of communicating processes. Zbl 0513.68020Hehner, E. C. R.; Hoare, C. A. R. 4 1983 Record handling. Zbl 0274.68010Hoare, C. A. R. 4 1968 A hard act to follow. Zbl 0951.01025Hoare, C. A. R. 4 2000 Towards a theory of parallel programming. Zbl 0395.68009Hoare, C. A. 3 1978 Remarks on ’Program proving: Jumps and functions’ by M. Clint and C.A.R. Hoare. Zbl 0326.68011Ashcroft, E. A.; Clint, M.; Hoare, C. A. R. 3 1976 Report on the Elliott ALGOL translator. Zbl 0100.13201Hoare, C. A. R. 3 1962 Notes on communicating sequential systems. Zbl 0566.68020Hoare, C. A. R. 3 1985 The mathematics of programming. Zbl 0585.68010Hoare, C. A. R. 3 1985 Exploring an interface model for CKA. Zbl 1432.68314Möller, Bernhard; Hoare, Tony 3 2015 The laws of programming unify process calculi. Zbl 1358.68064Hoare, Tony; van Staden, Stephan 3 2012 Parallel programming: An axiomatic approach. Zbl 0347.68011Hoare, C. A. R. 3 1976 Theories of programming: Top-down and bottom-up and meeting in the middle. Zbl 0976.68110Hoare, C. A. R. 2 1999 Programs are predicates. Zbl 0558.68004Hoare, C. A. R. 2 1984 Corrigendum to “Laws of programming”. Zbl 0653.68002Hoare, C. A. R.; Hayes, I. J.; He, Jifeng; Morgan, C. C.; Roscoe, A. W.; Sanders, J. W.; Sorensen, I. H.; Spivey, J. M.; Sufrin, B. A. 2 1987 Mathematical logic and programming languages. (A Discussion Meeting of the Royal Society of London, held on February 15 and 16, 1984). Zbl 0626.68003 2 1985 Unified theories of programming. Zbl 0884.68011Hoare, C. A. R. 2 1997 Unifying semantics for concurrent programming. Zbl 1264.68042Hoare, Tony 2 2013 Fixed points of increasing functions. Zbl 0695.06003Hoare, C. A. R. 2 1990 Proof of correctness of data representations. Zbl 0395.68019Hoare, C. A. R. 2 1978 A theory of nondeterminism. Zbl 0444.68027Kennaway, J. R.; Hoare, C. A. R. 2 1980 A structured paging system. Zbl 0262.68009Hoare, C. A. R. 2 1973 Incomputability. Zbl 0265.68028Hoare, C. A. R.; Allison, D. C. S. 2 1972 An axiomatic definition of the programming language PASCAL. Zbl 0285.68009Hoare, C. A. R. 2 1974 Algebra unifies operational calculi. Zbl 1452.68056van Staden, Stephan; Hoare, Tony 2 2013 The verified software repository: a step towards the verifying compiler. Zbl 1103.68452Bicarregui, J. C.; Hoare, C. A. R.; Woodcock, J. C. P. 2 2006 A discrete geometric model of concurrent program execution. Zbl 1483.68086Möller, Bernhard; Hoare, Tony; Müller, Martin E.; Struth, Georg 1 2017 Developments in concurrency and communication. Zbl 0734.68035 1 1990 VDM ’90. VDM and Z - formal methods in software development. 3rd international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990. Proceedings. Zbl 0746.68006 1 1990 Discrete event simulation based on communicating sequential processes. Zbl 0508.68009Kaublisch, W. H.; Hoare, C. A. R. 1 1982 A theory for the derivation of combination C-mos circuit designs. Zbl 0732.68084Hoare, C. A. R. 1 1991 Generic models of the laws of programming. Zbl 1390.68182Hoare, Tony 1 2013 Ambiguities and insecurities in Pascal. Zbl 0366.68010Welsh, J.; Sneeringer, W. J.; Hoare, C. A. R. 1 1977 Semantics of nondeterminism, concurrency and communication. Zbl 0391.68017Francez, Nissim; Hoare, C. A. R.; de Roever, Willem P. 1 1978 An axiomatic basis for computer programming. Zbl 0395.68012Hoare, C. A. R. 1 1978 Monitors: An operating system structuring concept. Zbl 0395.68027Hoare, C. A. R. 1 1978 Linking theories in probabilistic programming. Zbl 0943.68033He, Jifeng; Hoare, C. A. R. 1 1999 Matrix reduction - an efficient method. Zbl 0297.68031Johnston, H. C.; Hoare, C. A. R. 1 1975 Quasiparallel programming. Zbl 0332.68010Kaubisch, W. H.; Perrott, R. H.; Hoare, C. A. R. 1 1976 The Elliott ALGOL programming system. Zbl 0123.12802Hoare, C. A. R. 1 1964 Why ever CSP? Zbl 1315.68193Hoare, Tony 1 2006 Verification of fine-grain concurrent programs. Zbl 1279.68261Hoare, Tony 1 2008 Essays in computing science. Zbl 0656.68007Hoare, C. A. R. 1 1989 The verifying compiler, a grand challenge for computing research. Zbl 1111.68395Hoare, C. A. R. 1 2005 A discrete geometric model of concurrent program execution. Zbl 1483.68086Möller, Bernhard; Hoare, Tony; Müller, Martin E.; Struth, Georg 1 2017 Developments in concurrent Kleene algebra. Zbl 1344.68149Hoare, Tony; van Staden, Stephan; Möller, Bernhard; Struth, Georg; Zhu, Huibiao 5 2016 Exploring an interface model for CKA. Zbl 1432.68314Möller, Bernhard; Hoare, Tony 3 2015 Developments in concurrent Kleene algebra. Zbl 1344.68148Hoare, Tony; van Staden, Stephan; Möller, Bernhard; Struth, Georg; Villard, Jules; Zhu, Huibiao; O’Hearn, Peter 5 2014 Unifying semantics for concurrent programming. Zbl 1264.68042Hoare, Tony 2 2013 Algebra unifies operational calculi. Zbl 1452.68056van Staden, Stephan; Hoare, Tony 2 2013 Generic models of the laws of programming. Zbl 1390.68182Hoare, Tony 1 2013 In praise of algebra. Zbl 1259.68030Hoare, Tony; van Staden, Stephan 6 2012 The laws of programming unify process calculi. Zbl 1358.68064Hoare, Tony; van Staden, Stephan 3 2012 Concurrent Kleene algebra and its foundations. Zbl 1278.68176Hoare, Tony; Möller, Bernhard; Struth, Georg; Wehrman, Ian 35 2011 On locality and the exchange law for concurrent processes. Zbl 1343.68170Hoare, C. A. R.; Hussain, Akbar; Möller, Bernhard; O’Hearn, Peter W.; Petersen, Rasmus Lerchedahl; Struth, Georg 9 2011 Concurrent Kleene algebra. Zbl 1254.68172Hoare, C. A. R. Tony; Möller, Bernhard; Struth, Georg; Wehrman, Ian 20 2009 Graphical models of separation logic. Zbl 1200.68153Wehrman, Ian; Hoare, C. A. R.; O’Hearn, Peter W. 8 2009 Foundations of concurrent Kleene algebra. Zbl 1267.68154Hoare, C. A. R.; Möller, Bernhard; Struth, Georg; Wehrman, Ian 8 2009 Separation logic semantics for communicating processes. Zbl 1286.68352Hoare, Tony; O’Hearn, Peter 6 2008 Verification of fine-grain concurrent programs. Zbl 1279.68261Hoare, Tony 1 2008 The verified software repository: a step towards the verifying compiler. Zbl 1103.68452Bicarregui, J. C.; Hoare, C. A. R.; Woodcock, J. C. P. 2 2006 Why ever CSP? Zbl 1315.68193Hoare, Tony 1 2006 A trace semantics for long-running transactions. Zbl 1081.68644Butler, Michael; Hoare, Tony; Ferreira, Carla 11 2005 Comparing two approaches to compensable flow composition. Zbl 1134.68316Bruni, Roberto; Butler, Michael; Ferreira, Carla; Hoare, Tony; Melgratti, Hernán; Montanari, Ugo 7 2005 The verifying compiler, a grand challenge for computing research. Zbl 1111.68395Hoare, C. A. R. 1 2005 Stuck-free conformance. Zbl 1103.68612Fournet, Cédric; Hoare, Tony; Rajamani, Sriram K.; Rehof, Jakob 13 2004 The verifying compiler: A grand challenge for computing research. Zbl 1032.68868Hoare, Tony 24 2003 Unifying theories for logic programming. Zbl 1005.68036Hoare, C. A. R.; He, Jifeng 58 2001 A hard act to follow. Zbl 0951.01025Hoare, C. A. R. 4 2000 A trace model for pointers and objects. Zbl 0954.68045Hoare, C. A. R.; He, Jifeng 6 1999 Theories of programming: Top-down and bottom-up and meeting in the middle. Zbl 0976.68110Hoare, C. A. R. 2 1999 Linking theories in probabilistic programming. Zbl 0943.68033He, Jifeng; Hoare, C. A. R. 1 1999 Unifying theories for parallel programming. Zbl 0996.68754Hoare, Tony; He, Jifeng 12 1997 Unified theories of programming. Zbl 0884.68011Hoare, C. A. R. 2 1997 Communicating sequential processes. Repr. Zbl 0841.68042Hoare, C. A. R. 33 1995 Sequential calculus. Zbl 0875.68202von Karger, Burghard; Hoare, C. A. R. 8 1995 Normal form approach to compiler design. Zbl 0790.68023Hoare, C. A. R.; He, Jifeng; Sampaio, A. 13 1993 From algebra to operational semantics. Zbl 0795.68124He, Jifeng; Hoare, C. A. R. 6 1993 Programs are predicates. Zbl 0864.68009Hoare, C. A. R. 5 1992 A calculus of durations. Zbl 0743.68097Zhou, Chaochen; Hoare, C. A. R.; Ravn, Anders P. 112 1991 Pre-adjunctions in order enriched categories. Zbl 0755.18003Martin, C. E.; Hoare, C. A. R.; He, Jifeng 4 1991 A theory for the derivation of combination C-mos circuit designs. Zbl 0732.68084Hoare, C. A. R. 1 1991 Fixed points of increasing functions. Zbl 0695.06003Hoare, C. A. R. 2 1990 Developments in concurrency and communication. Zbl 0734.68035 1 1990 VDM ’90. VDM and Z - formal methods in software development. 3rd international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990. Proceedings. Zbl 0746.68006 1 1990 Essays in computing science. Zbl 0656.68007Hoare, C. A. R. 1 1989 The laws of Occam programming. Zbl 0719.68039Roscoe, A. W.; Hoare, C. A. R. 17 1988 Laws of programming. Zbl 0629.68006Hoare, C. A. R.; Hayes, I. J.; He, Jifeng; Morgan, C. C.; Roscoe, A. W.; Sanders, J. W.; Sorensen, I. H.; Spivey, J. M.; Sufrin, B. A. 62 1987 The weakest prespecification. Zbl 0622.68025Hoare, C. A. R.; He, Jifeng 22 1987 Prespecification in data refinement. Zbl 0624.68027Hoare, C. A. R.; He, Jifeng; Sanders, J. W. 21 1987 Algebraic specification and proof of a distributed recovery algorithm. Zbl 0621.68008He, Jifeng; Hoare, C. A. R. 6 1987 Corrigendum to “Laws of programming”. Zbl 0653.68002Hoare, C. A. R.; Hayes, I. J.; He, Jifeng; Morgan, C. C.; Roscoe, A. W.; Sanders, J. W.; Sorensen, I. H.; Spivey, J. M.; Sufrin, B. A. 2 1987 Specification-oriented semantics for communicating processes. Zbl 0569.68019Olderog, E.-R.; Hoare, Tony 59 1986 Data refinement refined. Résumé. Zbl 0587.68018He, J.; Hoare, C. A. R.; Sanders, J. W. 24 1986 The weakest prespecification. I. Zbl 0603.68009Hoare, C. A. R.; He, Jifeng 17 1986 The weakest prespecification, part II. Zbl 0627.68011Hoare, C. A. R.; He, Jifeng 12 1986 Communicating sequential processes. Zbl 0637.68007Hoare, C. A. R. 739 1985 A couple of novelties in the propositional calculus. Zbl 0563.03004Hoare, C. A. R. 5 1985 Notes on communicating sequential systems. Zbl 0566.68020Hoare, C. A. R. 3 1985 The mathematics of programming. Zbl 0585.68010Hoare, C. A. R. 3 1985 Mathematical logic and programming languages. (A Discussion Meeting of the Royal Society of London, held on February 15 and 16, 1984). Zbl 0626.68003 2 1985 A theory of communicating sequential processes. Zbl 0628.68025Brookes, S. D.; Hoare, C. A. R.; Roscoe, A. W. 236 1984 Programs are predicates. Zbl 0558.68004Hoare, C. A. R. 2 1984 Specification-oriented semantics for communicating processes. Zbl 0578.68009Olderog, E.-R.; Hoare, C. A. R. 7 1983 A more complete model of communicating processes. Zbl 0513.68020Hehner, E. C. R.; Hoare, C. A. R. 4 1983 Discrete event simulation based on communicating sequential processes. Zbl 0508.68009Kaublisch, W. H.; Hoare, C. A. R. 1 1982 A calculus of total correctness for communicating processes. Zbl 0485.68025Hoare, C. A. R. 14 1981 A theory of nondeterminism. Zbl 0444.68027Kennaway, J. R.; Hoare, C. A. R. 2 1980 Semantics of nondeterminism, concurrency, and communication. Zbl 0434.68066Francez, Nissim; Hoare, C. A. R.; Lehmann, Daniel J.; de Roever, Willem P. 23 1979 Communicating sequential processes. Zbl 0383.68028Hoare, C. A. R. 320 1978 Some properties of predicate transformers. Zbl 0379.68016Hoare, C. A. R. 20 1978 Towards a theory of parallel programming. Zbl 0395.68009Hoare, C. A. 3 1978 Proof of correctness of data representations. Zbl 0395.68019Hoare, C. A. R. 2 1978 Semantics of nondeterminism, concurrency and communication. Zbl 0391.68017Francez, Nissim; Hoare, C. A. R.; de Roever, Willem P. 1 1978 An axiomatic basis for computer programming. Zbl 0395.68012Hoare, C. A. R. 1 1978 Monitors: An operating system structuring concept. Zbl 0395.68027Hoare, C. A. R. 1 1978 Ambiguities and insecurities in Pascal. Zbl 0366.68010Welsh, J.; Sneeringer, W. J.; Hoare, C. A. R. 1 1977 Remarks on ’Program proving: Jumps and functions’ by M. Clint and C.A.R. Hoare. Zbl 0326.68011Ashcroft, E. A.; Clint, M.; Hoare, C. A. R. 3 1976 Parallel programming: An axiomatic approach. Zbl 0347.68011Hoare, C. A. R. 3 1976 Quasiparallel programming. Zbl 0332.68010Kaubisch, W. H.; Perrott, R. H.; Hoare, C. A. R. 1 1976 Recursive data structures. Zbl 0301.68037Hoare, C. A. R. 11 1975 Parallel programming: An axiomatic approach. Zbl 0362.68045Hoare, C. A. R. 7 1975 Matrix reduction - an efficient method. Zbl 0297.68031Johnston, H. C.; Hoare, C. A. R. 1 1975 Monitors: An operating system structuring concept. Zbl 0308.68029Hoare, C. A. R. 55 1974 An axiomatic definition of the programming language Pascal. Zbl 0261.68040Hoare, C. A. R.; Wirth, N. 33 1974 Consistent and complementary formal theories of the semantics of programming languages. Zbl 0264.68006Hoare, C. A. R.; Lauer, P. E. 23 1974 An axiomatic definition of the programming language PASCAL. Zbl 0285.68009Hoare, C. A. R. 2 1974 A structured paging system. Zbl 0262.68009Hoare, C. A. R. 2 1973 Proof of correctness of data representations. Zbl 0244.68009Hoare, C. A. R. 106 1972 Structured programming. Zbl 0267.68001Dahl, O.-J.; Dijkstra, E. W.; Hoare, C. A. R. 51 1972 Proof of a structured program: ’The sieve of Eratosthenes’. Zbl 0267.68005Hoare, C. A. R. 9 1972 A note on the for statement. Zbl 0246.68003Hoare, C. A. R. 7 1972 Incomputability. Zbl 0265.68028Hoare, C. A. R.; Allison, D. C. S. 2 1972 Procedures and parameters: An axiomatic approach. Zbl 0221.68020Hoare, C. A. R. 42 1971 Proof of a program: FIND. Zbl 0217.53701Hoare, C. A. R. 19 1971 Program proving: KJumps and functions. Zbl 0229.68003Clint, M.; Hoare, C. A. R. 18 1971 Proof of a recursive program: Quicksort. Zbl 0231.68011Foley, M.; Hoare, C. A. R. 12 1971 An axiomatic basis for computer programming. Zbl 0179.23105Hoare, C. A. R. 522 1969 Record handling. Zbl 0274.68010Hoare, C. A. R. 4 1968 A contribution to the development of ALGOL. Zbl 0143.18603Wirth, N.; Hoare, C. A. R. 17 1966 The Elliott ALGOL programming system. Zbl 0123.12802Hoare, C. A. R. 1 1964 Quicksort. Zbl 0108.13601Hoare, C. A. R. 95 1962 Report on the Elliott ALGOL translator. Zbl 0100.13201Hoare, C. A. R. 3 1962 all cited Publications top 5 cited Publications all top 5 Cited by 2,828 Authors 38 Bergstra, Jan A. 30 Hoare, C. A. R. Tony 26 Aceto, Luca 23 Ingólfsdóttir, Anna 22 van Glabbeek, Robert Jan 21 Woodcock, James C. P. 19 Cavalcanti, Ana 19 Roscoe, Andrew William 18 Baeten, Jos C. M. 18 Hesselink, Wim H. 17 Vogler, Walter 16 Olderog, Ernst-Rüdiger 15 Struth, Georg 14 He, Jifeng 14 Middelburg, Cornelis A. 14 Möller, Bernhard 13 Duan, Zhenhua 13 Ponse, Alban 12 Bernardo, Marco 12 de Boer, Frank S. 12 De Nicola, Rocco 12 Hennessy, Matthew C. B. 12 Liu, Zhiming 12 Majster-Cederbaum, Mila E. 12 Morgan, Carroll C. 12 Owe, Olaf 11 Derrick, John 11 Hayes, Ian J. 11 Lüttgen, Gerald 11 Luttik, Bas 11 Meyer, John-Jules Charles 11 Sampaio, Augusto C. A. 11 Zhu, Huibiao 10 Broy, Manfred 10 Fokkink, Willem Jan 10 Francez, Nissim 10 Gorrieri, Roberto 10 Larsen, Kim Guldstrand 10 Mili, Ali 10 Milner, Robin 10 Naumann, David A. 9 Apt, Krzysztof Rafal 9 Bravetti, Mario 9 Colvin, Robert J. 9 Foster, Simon 9 Gregorio-Rodríguez, Carlos 9 Lowe, Gavin 9 Malik, Robi 9 O’Hearn, Peter W. 9 Tian, Cong 9 Tucker, John V. 9 Wehrheim, Heike 9 Zhan, Naijun 8 Boiten, Eerke A. 8 Cleaveland, Rance 8 de Frutos-Escrig, David 8 Deng, Yuxin 8 Hennicker, Rolf 8 Janicki, Ryszard 8 Johnsen, Einar Broch 8 Koutny, Maciej 8 Peled, Doron A. 8 Phillips, Iain W. 8 Rabinovich, Alexander 8 Schneider, Steve A. 8 Steffen, Martin 8 Zanasi, Fabio 7 Abramsky, Samson 7 Corradini, Flavio 7 Degano, Pierpaolo 7 Dong, JinSong 7 Dovland, Johan 7 Guelev, Dimitar P. 7 Guttmann, Walter 7 Hansen, Michael Reichhardt 7 Höfner, Peter 7 Montanari, Ugo G. 7 Pnueli, Amir 7 Priami, Corrado 7 Pugliese, Rosario 7 Reniers, Michel Adriaan 7 Sifakis, Joseph 7 Tennent, Robert D. 7 Vaandrager, Frits W. 7 Zhang, Nan 6 Back, Ralph-Johan 6 Barbosa, Luís Soares 6 de Bakker, Jacobus W. 6 Fu, Yuxi 6 Goranko, Valentin F. 6 Hooman, Jozef Johannes Maria 6 Jacob, Jeremy L. 6 Jonsson, Bengt 6 Katoen, Joost-Pieter 6 Katz, Shmuel 6 Legay, Axel 6 Liu, Yang 6 Moszkowski, Ben C. 6 Pandya, Paritosh K. 6 Qin, Shengchao ...and 2,728 more Authors all top 5 Cited in 187 Serials 400 Theoretical Computer Science 192 Formal Aspects of Computing 109 Acta Informatica 104 Information and Computation 100 Information Processing Letters 67 The Journal of Logic and Algebraic Programming 56 Journal of Logical and Algebraic Methods in Programming 37 Science of Computer Programming 35 MSCS. Mathematical Structures in Computer Science 35 Distributed Computing 30 Formal Methods in System Design 27 Journal of Computer and System Sciences 25 Software. Practice & Experience 23 BIT. Nordisk Tidskrift for Informationsbehandling 21 Journal of Computer Science and Technology 20 Journal of Automated Reasoning 18 Cybernetics and Systems Analysis 17 Information Sciences 16 International Journal of Parallel Programming 16 Journal of Applied Non-Classical Logics 16 Logical Methods in Computer Science 15 Artificial Intelligence 15 BIT 15 Discrete Event Dynamic Systems 12 Computing 11 Annals of Pure and Applied Logic 11 Journal of Functional Programming 10 Programming and Computer Software 10 Cybernetics 10 Journal of Symbolic Computation 10 International Journal of Computer Mathematics 9 Annals of Mathematics and Artificial Intelligence 9 Computer Science Review 8 International Journal of Theoretical Physics 8 Studia Logica 8 International Journal of Foundations of Computer Science 7 International Journal of Computer & Information Sciences 7 RAIRO. Informatique Théorique et Applications 6 Computers & Mathematics with Applications 6 Automatica 6 Mathematical Systems Theory 6 RAIRO, Informatique Théorique 6 Sādhanā 6 ACM Transactions on Computational Logic 6 Journal of Applied Logic 6 Frontiers of Computer Science 5 Journal of Pure and Applied Algebra 5 Algorithmica 5 Real-Time Systems 5 European Journal of Operational Research 5 Concurrency and Computation: Practice & Experience 5 Science China. Information Sciences 5 Formalized Mathematics 4 International Journal of Control 4 Applied Mathematics and Computation 4 Parallel Algorithms and Applications 4 Theory of Computing Systems 4 RAIRO. Theoretical Informatics and Applications 4 Theory and Practice of Logic Programming 4 Computer Languages, Systems & Structures 3 Discrete Applied Mathematics 3 International Journal of General Systems 3 International Journal of Systems Science 3 Algebra Universalis 3 Fuzzy Sets and Systems 3 Journal of Philosophical Logic 3 Journal of Soviet Mathematics 3 Synthese 3 Topology and its Applications 3 New Generation Computing 3 Journal of Cryptology 3 The Annals of Applied Probability 3 Journal of Computer and Systems Sciences International 3 European Journal of Control 3 Journal of Discrete Algorithms 3 Sibirskie Èlektronnye Matematicheskie Izvestiya 3 Frontiers of Computer Science in China 2 Computer Physics Communications 2 Kybernetes 2 Publications of the Research Institute for Mathematical Sciences, Kyoto University 2 Systems & Control Letters 2 Statistics & Probability Letters 2 History and Philosophy of Logic 2 Discrete & Computational Geometry 2 Computers & Operations Research 2 International Journal of Intelligent Systems 2 International Journal of Approximate Reasoning 2 Mathematical and Computer Modelling 2 Machine Learning 2 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 2 Journal of Global Optimization 2 Stochastic Processes and their Applications 2 Advances in Engineering Software 2 Journal of the Egyptian Mathematical Society 2 Computer Science Journal of Moldova 2 Constraints 2 Mathematical Problems in Engineering 2 Soft Computing 2 Journal of Combinatorial Optimization 2 Wuhan University Journal of Natural Sciences (WUJNS) ...and 87 more Serials all top 5 Cited in 39 Fields 2,107 Computer science (68-XX) 363 Mathematical logic and foundations (03-XX) 58 Systems theory; control (93-XX) 44 Information and communication theory, circuits (94-XX) 42 Category theory; homological algebra (18-XX) 42 Operations research, mathematical programming (90-XX) 40 Order, lattices, ordered algebraic structures (06-XX) 31 Probability theory and stochastic processes (60-XX) 26 Numerical analysis (65-XX) 18 Combinatorics (05-XX) 18 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 17 Quantum theory (81-XX) 16 Biology and other natural sciences (92-XX) 13 General algebraic systems (08-XX) 12 General topology (54-XX) 9 History and biography (01-XX) 8 Statistics (62-XX) 5 Number theory (11-XX) 4 General and overarching topics; collections (00-XX) 3 Mathematics education (97-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Group theory and generalizations (20-XX) 2 Convex and discrete geometry (52-XX) 2 Algebraic topology (55-XX) 2 Manifolds and cell complexes (57-XX) 2 Fluid mechanics (76-XX) 1 Commutative algebra (13-XX) 1 Associative rings and algebras (16-XX) 1 Topological groups, Lie groups (22-XX) 1 Measure and integration (28-XX) 1 Partial differential equations (35-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Difference and functional equations (39-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Functional analysis (46-XX) 1 Operator theory (47-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Statistical mechanics, structure of matter (82-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.