Search CORE

10 research outputs found

Algebra and models

Author: C. A. R. Hoare
Programming Language C.A.R.
Concurrency C.A.R
Predicates C.A.R.
Programming C.A.R.
Publication venue: Association for Computing Machinery (ACM)
Publication date: 01/01/1993
Field of study

Crossref

Oxford University Research Archive

Algebra and models

Author: C. A. R. Hoare
Concurrency C.A.R
Predicates C.A.R.
Programming C.A.R.
Programming Language C.A.R.
Publication venue: 'Association for Computing Machinery (ACM)'
Publication date
Field of study

Crossref

Notes on communicating sequential processes

Author: Hoare C.A.R.
Oxford Univ. (UK). Programming Research Group
Publication venue
Publication date: 01/01/1983
Field of study

SIGLELD:8671.22(PRG--33) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

OpenGrey Repository

A model for communicating sequential processes

Author: Hoare C.A.R.
Oxford Univ. (UK). Programming Research Group
Publication venue
Publication date: 01/01/1981
Field of study

SIGLELD:8671.22(PRG--22). / BLDSC - British Library Document Supply CentreGBUnited Kingdo

OpenGrey Repository

Programming is an engineering profession

Author: Hoare C.A.R.
Oxford Univ. (UK). Programming Research Group
Publication venue
Publication date: 01/01/1982
Field of study

SIGLELD:8671.22(PRG--27) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

OpenGrey Repository

The weakest prespecification

Author: Hoare C.A.R.
Jifeng He
Oxford Univ. (United Kingdom). Programming Research Group
Publication venue
Publication date: 01/01/1985
Field of study

SIGLEAvailable from British Library Document Supply Centre- DSC:8671.22(PRG--44) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

OpenGrey Repository

The grok project data structures and process communication

Author: Hoare C.A.R.
Peter Jensen
The Programming Language Pascal N.
Publication venue: 'Association for Computing Machinery (ACM)'
Publication date
Field of study

Crossref

Algebraic specification and proof of properties of communicating sequential processes

Author: Hoare C.A.R.
Jifeng H
Oxford Univ. (United Kingdom). Programming Research Group
Publication venue
Publication date: 01/01/1985
Field of study

SIGLEAvailable from British Library Document Supply Centre- DSC:8671.220(PRG--52) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

OpenGrey Repository

A theory of communicating sequential processes

Author: Brookes S.D.
Hoare C.A.R.
Oxford Univ. (UK). Programming Research Group
Roscoe A.W.
Publication venue
Publication date: 01/01/1981
Field of study

2.95LD:8671.22(PRG--16). / BLDSC - British Library Document Supply CentreSIGLEGBUnited Kingdo

OpenGrey Repository

Bibliography

Author: Adler
Alexander C.
Applications
Applications
Approach
Arbib M.A.
Ashby W.R.
Automata
Bauer F.
Bauer F.L.
Bell D.A.
Beveridge W.I.
Boehm B.W
Boehm B.W.
Boehm B.W.
Boehm B.W.
Boehm B.W.
Booch G.
Brinch H.P.
Brooks R.A.
Broy M.
Buerocratic Systems
Bunge M.
California USA
Canada
Case
Casti J.L.
Chaitin G.J.
Chomsky N.
Chorafas D.N.
Christensen L.B.
Client-Server Programming
Cognitive Informatics
Cognitive Informatics
Cognitive Informatics
Coleman J.S.
Comer D.E.
Communication
Compiling
Complexity
Computer Engineering
Computer Engineering
Computer Engineering
Conference
Control
Cries D.
Cutnell J.D.
Dale C. J.
Davis A.M.
Dawson M.R.W.
Debenham J.K.
Deming W.E.
Deming W.E.
Dierks H.
Dijkstra E.W.
Dijkstra E.W.
Dromey G.
Dunn R.H.
Dynamics
E'
Earhart S.V.
Ellis D. O.
Ellis W.D.
Engineering
Engineering
Engineering
Engineering Curricula
Enhancement
Factors Engineering
Factory
Fenton N.E.
Fenton N.E.
Feynman
First Twenty Years
Fox
Framework Reuse
Frank R.H.
Friedman K.
Gaines B.R.
Ganter B.
Goldman S.
Gries D.
Hall A. D.
Halstead M.H.
Harnish R.M.
Harre R.
Harvey R. L.
Hayes I.J.
Henderson T.
Higgins
Higman B.
Hoare C.A.R.
Hoare C.A.R.
Hoffman D.M.
Horowitz E.
Humphrey W. S.
Humphrey W.S.
Hurley P.J.
I' AB.
Immanent
Indianapolis
Informatics
Informatics
Informatics
Informatics
Interorganizational Design
Issues
James W.
Jensen K.
Jones C.
Jones C.
Juran J. M.
Juran J.M.
Juran J.M.
Kandel E.R.
Kephart J.
Kephart J.
Klir G.J.
Klir G.L.
Knuth D.E.
Knuth D.E.
Kotulak R.
Kramosil I.
Krohn K.B.
Kyburg H.E.
Labrosse J.J.
Language
Laplante P.A.
Lewis H.R.
Linton R.
Liu J.
Macionis J.J.
Mackintosh N.J.
MaCulloch W.S.
Marieb E.N.
Marshall A.
Marshall T.
Maslow A.H.
Maslow A.H.
Matlin M.W.
McCabe T.H.
McConnell S.
McConnell S.
McCulloch W.S.
Meek B.L.
Methods
Milenkovic M.
Mill J.S.
Milner R.
Milner R.
Mitchell J.C.
Modules
Murch R.
Murty K.
New Laws
Osborne M.
Park R.E.
Perspectives
Peter R.
Pierce B.C.
Pinel J.P.J.
Planck M.
Press
Press
Production
Programming Language Semantics
Real-Time Systems
Reisberg D.
Reza F.M.
Ritzer G.
Rose
Rose J. C.
Salvendy G.
Self-Organization H.
Shannon C.E.
Shannon J.
Simon H.A.
Simon H.A.
Slavin S.L.
Soanes C.
Sober E.
Software Engineering
Software Engineering
Software Engineering
Software Process
Sommerville I.
Specification Notation
Specifying
Spencer A.
Spivey J.M.
Stallings W.
Stallings W.
Standards
Sternberg R.J.
Stroustrup B.
Structure
Symposium
System
Systems
Tanenbaum A.S.
Techniques
Time
Tomassi P.
Trans
Unpredictable
Ure A.
Vliet H.V.
von Neumann J.
von Neumann J.
Wald A.
Wang Y.
Wang Y.
Wasserman A.
Westen D.
Wright P.H.
Zadeh L.A.
Zhong Y.
Zuse H.
Publication venue: 'Informa UK Limited'
Publication date
Field of study

Crossref