C. B. Jones, A. M. McCauley  Home/Search
Context Related
| cs.man.ac.uk/pub/TR...UMCS92122.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: gruffle.comlab.ox.ac.uk/ar...pubs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This report contains citations to papers which are of historical interest in the area of formal approaches to software development. Copyright 1992. All rights reserved. Reproduction of all or part of this work is permitted for educational or research purposes on condition that (1) this copyright notice is included, (2) proper attribution to the author or authors is made and (3) no commercial gain is involved. Technical Reports issued by the Department of Computer Science, Manchester University, ... (Update)
Similar documents based on text: More All
1.0: Main Publications - Jones (2000) (Correct)
0.1: Fat Estimation in Beef Ultrasound Images Using Texture.. - McCauley, Thane.. (Correct)
0.1: Self-organization, Scale and Stability in a Spatial.. - Gurney, Veitch (2000) (Correct)
BibTeX entry: (Update)
C.B. Jones and A.M. McCauley. Formal methods - selected historical references. Technical Report UMCS-92-12-2, University of Manchester, 1992. http://citeseer.ist.psu.edu/jones92formal.html More
@techreport{ jones92formal,
author = "C. B. Jones and A. M. Mccauley",
title = "Formal methods - selected historical references",
institution = "Manchester University, Department of Computer Science",
number = "UMCS-92-12-2",
year = "1992",
url = "citeseer.ist.psu.edu/jones92formal.html" }
Citations (may not include all citations):2732 Communicating sequential processes (context) - Hoare - 1978
2732 Communicating Sequential Processes (context) - Hoare - 1985
1933 Communication and Concurrency (context) - Milner - 1989
1274 Object-oriented Software Construction (context) - Meyer - 1988
906 A structural approach to operational semantics - Plotkin - 1981
729 The Lambda Calculus -- Its Syntax and Semantics (context) - Barendregt - 1981
716 Parallel Program Design: A Foundation (context) - Chandy, Misra - 1988
652 A Discipline of Programming (context) - Dijkstra - 1976
650 An axiomatic basis for computer programming (context) - Hoare - 1969
634 A machine-oriented logic based on the resolution principle (context) - Robinson - 1965
539 The temporal logic of programs (context) - Pnueli - 1977
505 Implementing Mathematics with the Nuprl Proof Development Sy.. - Constable - 1986
502 Concurrency and automata on infinite sequences (context) - Park - 1981
492 Smalltalk-80: The Language and its Implementation (context) - Goldberg, Robson - 1983
434 A framework for defining logics - Harper, Honsell et al. - 1987
[Article contains additional citations not shown here]
Documents on the same site (http://gruffle.comlab.ox.ac.uk/archive/formal-methods/pubs.html): More
The VDM Bibliography - Larsen (1995) (Correct)
Formal Aspects of Computing Bibliography - Allison (1997) (Correct)
An International Survey of Industrial Applications of.. - Craigen, Gerhart.. (1993) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC