Browse

ftp://ftp.cs.man.ac.uk (89)

	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-93-3-1.ps.Z, 19950616 Computer ScienceUniversity of Manchester Implementing State Machines in Smalltalk Trevor P. Hopkins Technical Report UMCS-93-3-1 Implementing State Machines in Smalltalk1 Trevor P. Hopkins Department of Computer Science University of Manchester Oxford Road, Manchester, UK. tph@cs.man.ac.uk 1Copyright
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-95-1-1.ps.Z, 19950616 A Proof System for a Sequential Object-Based Language Carlos Camar ao de Figueiredo Technical Report UMCS 95 1 1 A Proof System for a Sequential Object-Based Language Carlos Camar~ao de Figueiredo Department of Computer Science, University of Manchester Oxford Rd, Manchester M13 9PL, U.K. December 16,
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-93-6-1.ps.Z, 19950616 Department of Computer Science University of Manchester Manchester M13 9PL, England Technical Report Series UMCS 93 6 1 Jin Sa and Brian C. Warboys A Formal Description of the ISPW-6 Software Process Example A Formal Description of the ISPW-6 Software Process Example Jin Sa and Brian C. Warboys
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-93-8-3.ps.Z, 19950616 Computer ScienceUniversity of Manchester Cut-free Sequent and Tableau Systems for Propositional Diodorean Modal Logics Rajeev Gore Technical Report 93-8-3 Cut-free Sequent and Tableau Systems for Propositional Diodorean Modal Logics y Rajeev Gor e Department of Computer Science University of Manchester
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-94-12-1.ps.Z, 19950616 Computer ScienceUniversity of Manchester A Process Algebra Foundation for Reasoning about Core ELLA Howard Barringer, Graham Gough, Brian Monahan, Alan Williams Technical Report UMCS-94-12-1 FORMAL VERIFICATION SUPPORT FOR ELLA IED 4/1/1357 A Process Algebra Foundation for Reasoning about Core ELLA
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-94-8-1.ps.Z, 19950616 Computer ScienceUniversity of Manchester Domain Constraint Maintenance Ying Zhang, Howard Barringer, David Carlisle Technical Report UMCS 94 8 1 Domain Constraint Maintenance Ying Zhang, Howard Barringer, David Carlisle Department of Computer Science University of Manchester Oxford Rd., Manchester, U.K.
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-93-1-4.ps.Z, 19950616 Department of Computer Science University of Manchester Manchester M13 9PL, England Technical Report Series UMCS 93 1 4 John Sargeant United Functions and Objects: an Overview United Functions and Objects: an Overview John Sargeant Department of Computer Science University of Manchester Manchester U.K.
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-93-6-5.ps.Z, 19950616 Computer ScienceUniversity of Manchester Understanding Inductive Types in Constructions Yuxi Fu Technical Report UMCS 93 6 5 Understanding Inductive Types in Constructions Yuxi Fu Department of Computer Science University of Manchester Oxford Rd., Manchester, U.K.
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-92-12-2.ps.Z, 19950616 Department of Computer Science University of Manchester Manchester M13 9PL, England Technical Report Series UMCS 92 12 2 C. B. Jones and A. M. McCauley Formal Methods Selected Historical References Formal Methods Selected Historical References C. B. Jones and A. M. McCauley* Department of Computer
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-94-12-2.ps.Z, 19950616 Computer ScienceUniversity of Manchester The ELLA Verification Environment: A Tutorial Introduction Howard Barringer, Graham Gough, Brian Monahan, Alan Williams Technical Report UMCS-94-12-2 The ELLA Verification Environment: A Tutorial Introduction Howard Barringer, Graham Gough, Brian Monahan , Alan
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-94-5-1.ps.Z, 19950616 Page 1 The Uflow Computational Model and Intermediate Format UMCS Technical Report 94-5-11 John Sargeant, Chris Kirkham, Steve Anderson Dept. of Computer Science, University of Manchester, Manchester M13 9PL, England {js,cck,andersos}@cs.man.ac.uk
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-93-6-6.ps.Z, 19950616 Computer ScienceUniversity of Manchester Recursive Models of General Inductive Types Yuxi Fu Technical Report UMCS 93 6 6 Recursive Models of General Inductive Types Yuxi Fu Department of Computer Science University of Manchester Oxford Rd., Manchester, U.K.
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-89-12-1.ps.Z, 19950616 KEY CENTRE FOR SOFTWARE TECHNOLOGY DEPARTMENT OF COMPUTER SCIENCE UNIVERSITY OF QUEENSLAND St. Lucia Queensland Australia 4072 TECHNICAL REPORT No. 148 Specifications are not (necessarily) executable I. J. Hayes and C. B. Jones January, 1990 Specifications are not (necessarily) executable I. J. Hayesy,
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-93-3-2.ps.Z, 19950616 Semi-analytic Tableaux For Propositional Modal Logics of Nonmonotonicity Rajeev Gor e Department of Computer Science University of Manchester Manchester, M13 9PL England E-mail: rpg@cs.man.ac.uk
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-94-2-1.ps.Z, 19950616 Department of Computer Science University of Manchester Manchester M13 9PL, England Technical Report Series 94-2-1 Michael Brown A Memory Model for Case Retrieval by Activation Passing A Memory Model for Case Retrieval by Activation Passing 1 Michael Brown Department of Computer Science University of
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-94-7-1.ps.Z, 19950616 Computer ScienceUniversity of Manchester A Reified Temporal Logic For Nonlinear Planning Ying Zhang, Howard Barringer Technical Report UMCS-94-7-1 A Reified Temporal Logic For Nonlinear Planning Ying Zhang, Howard Barringer Department of Computer Science University of Manchester Oxford Rd., Manchester,
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-93-9-1.ps.Z, 19950616 Computer ScienceUniversity of Manchester Trends in Operating Systems Towards Dynamic User-level Policy Provision K.R. Mayes Technical Report UMCS 93 9 1 Trends in Operating Systems Towards Dynamic User-level Policy Provision K.R. Mayes Department of Computer Science University of Manchester Oxford Road,
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-94-4-1.ps.Z, 19950616 Computer ScienceUniversity of Manchester The Global-yet-Personal Information System J. R. Gurd and C. B. Jones Technical Report UMCS 94 4 1 (revised August 1994) The Global-yet-Personal Information System J. R. Gurd and C. B. Jones Department of Computer Science University of Manchester Oxford Rd.,
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-94-9-2.ps.Z, 19950616 Computer ScienceUniversity of Manchester ConstraintLogicPlanning YingZhang,HowardBarringer TechnicalReportUMCS--94--9--2 Constraint Logic Planning Ying Zhang, howard Barringer Department of Computer Science University of Manchester Oxford Rd., Manchester, U.K. yzhang@cs.man.ac.uk, howard@cs.man.ac.uk
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-92-12-4.ps.Z, 19950616 Department of Computer Science University of Manchester Manchester M13 9PL, England Technical Report Series UMCS 92 12 4 Bob Fields A guide to reading VDM specifications A guide to reading VDM specifications Bob Fields Department of Computer Science University of Manchester Oxford Rd., Manchester, U.K.
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-92-4-1.ps.Z, 19950616 Department of Computer Science University of Manchester Manchester M13 9PL, England Technical Report Series UMCS 92 4 1 Behnam Bani-Eqbal Exclusive Normal Form of Boolean Circuits Exclusive Normal Form of Boolean Circuits *, Behnam Bani-Eqbal Department of Computer Science University of Manchester
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-93-1-2.ps.Z, 19950616 THE MONOTONOUS ELIMINATION OF PREDICATE VARIABLES Harold Simmons Department of Computer Science The University Manchester M13 9PL January 20, 1994
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-94-4-3.ps.Z, 19950616 A Comparative Study of Data-Flow Architectures University of Manchester Department of Computer Science Technical Report Number UMCS-94-4-3 April 1994 Dr. David F. Snelling Department of Computer Science University of Manchester snelling@cs.man.ac.uk Professor Gregory K. Egan Laboratory for Concurrent
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-94-6-1.ps.Z, 19950616 Computer ScienceUniversity of Manchester MathPIP: A Mathematica Interface for PIP User's Guide and Reference Manual Zbigniew Chamski Technical Report 94-6-1 MathPIP: A MathematicaTM Interface for PIP User's Guide and Reference Manual Zbigniew Chamski Department of Computer Science University of
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-93-7-2.ps.Z, 19950616 1 The Design and Analysis of a Stateless Data-Flow Architecture A thesis submitted to the University of Manchester for the degree of Doctor of Philosophy in the Faculty of Science April 1993 David F. Snelling Department of Computer Science Technical Report Number UMCS-93-7-2 July 1993 2 To My Father 3
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-93-6-3.ps.Z, 19950616 Computer ScienceUniversity of Manchester Categorical Properties of Logical Frameworks Yuxi Fu Technical Report UMCS 93 6 3 Categorical Properties of Logical Frameworks Yuxi Fu Department of Computer Science University of Manchester Oxford Rd., Manchester, U.K.
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-94-9-1.ps.Z, 19950616 Computer ScienceUniversity of Manchester ActionConstraintMaintenance YingZhang,HowardBarringer TechnicalReportUMCS--94--9--1 Action Constraint Maintenance Ying Zhang, Howard Barringer Department of Computer Science University of Manchester Oxford Rd., Manchester, U.K. yzhang@cs.man.ac.uk,
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-93-1-6.ps.Z, 19950616 Department of Computer Science University of Manchester Manchester M13 9PL, England Technical Report Series UMCS 93 1 6 Michael F.P. O'Boyle Program and Data Transformations for Efficient Execution on Distributed Memory Architectures Program and Data Transformations for Efficient Execution on
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-93-10-1.ps.Z, 19950616 Computer ScienceUniversity of Manchester Process-Algebraic Foundations for an Object-Based Design Notation C. B. Jones Technical Report UMCS 93 10 1 Process-Algebraic Foundations for an Object-Based Design Notation C. B. Jones Department of Computer Science University of Manchester Oxford Rd.,
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-94-11-1.ps.Z, 19950616 Computer ScienceUniversity of Manchester Autonomous Acquisition of Sensor-Motor Couplings in Robots Ulrich Nehmzow Technical Report UMCS-94-11-1 Autonomous Acquisition of Sensor-Motor Couplings in Robots Ulrich Nehmzow Department of Computer Science University of Manchester Oxford Road, Manchester, UK.
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-92-4-6.ps.Z, 19950616 A Semantics and Verification Framework for ELLA1 Howard Barringer Graham Gough Thomas Longshaw Brian Monahan Martin Peim Alan Williams Department of Computer Science University of Manchester March 30 1992
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-93-6-2.ps.Z, 19950616 Computer ScienceUniversity of Manchester The GLUEING CONSTRUCTION and LAX LIMITS (with applications to categories of structured posets) Harold Simmons Technical Report UMCS 93 6 2 THE GLUEING CONSTRUCTION and LAX LIMITS (with applications to categories of structured posets) Harold Simmons Department of
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-92-4-3.ps.Z, 19950616 Department of Computer Science University of Manchester Manchester M13 9PL, England Technical Report Series UMCS 92 4 3 John Sargeant UFO - United Functions and Objects Draft Language Description UFO - United Functions and Objects Draft Language Description John Sargeant Department of Computer Science
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-94-4-2.ps.Z, 19950616 Department of Computer Science University of Manchester Manchester M13 9PL, England Technical Report Series UMCS 94 4 2 Salvador Mir HEURISTIC REASONING For An AUTOMATIC COMMONSENSE UNDERSTANDING Of LOGIC ELECTRONIC DESIGN SPECIFICATIONS HEURISTIC REASONING For An AUTOMATIC COMMONSENSE UNDERSTANDING Of
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-93-1-7.ps.Z, 19950616 Department of Computer Science University of Manchester Manchester M13 9PL, England Technical Report Series UMCS-93-1-7 Ian Pratt David Br ee The Expressive Power of the English Temporal Preposition System The Expressive Power of the English Temporal Preposition System* Ian Pratt David Br ee Department
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-92-12-3.ps.Z, 19950616 Department of Computer Science University of Manchester Manchester M13 9PL, England Technical Report Series UMCS 92 12 3 Ian D. Cottam idC: A Subset of Standard C for Initial Teaching idC: A Subset of Standard C for Initial Teaching* Ian D. Cottam Department of Computer Science University of Manchester
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-93-9-2.ps.Z, 19950616 Computer ScienceUniversity of Manchester A Graph-Based Approach To Resolution In Temporal Logic Clare Dixon Technical Report UMCS 93 9 2 A Graph-Based Approach To Resolution In Temporal Logic* Clare Dixon Department of Computer Science University of Manchester Oxford Road, Manchester, U.K.
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-93-1-5.ps.Z, 19950616 Department of Computer Science University of Manchester Manchester M13 9PL, England Technical Report Series UMCS 93 1 5 G.A. Hedayat Numerical Linear Algebra and Computer Architecture: An Evolving Interaction Numerical Linear Algebra and Computer Architecture: An Evolving Interaction* G.A. Hedayat
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-93-6-8.ps.Z, 19950616 Computer ScienceUniversity of Manchester Generalisation for Induction Sunil Vadera Technical Report UMCS 93 6 8 Generalisation for Induction Sunil Vadera 1 July 22, 1993
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-95-4-2.ps.Z, 19950616 Computer ScienceUniversity of Manchester The Evolution of Polygenic Sex Determination with Potential for Environmental Manipulation M.J. Hatcher & C. Tofts Technical Report UMCS-95-4-2 The Evolution of Polygenic Sex Determination with Potential for Environmental Manipulation y M.J. Hatcher C. Tofts
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-95-3-1.ps.Z, 19950616 Computer ScienceUniversity of Manchester Analytic and locally approximate solutions to properties of probabilistic processes C. Tofts Technical Report UMCS-95-3-1 Analytic and locally approximate solutions to properties of probabilistic processes 1 2 C. Tofts Department of Computer Science University of
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-93-7-1.ps.Z, 19950616 Department of Computer Science University of Manchester Manchester M13 9PL, England Technical Report Series UMCS 93 7 1 Michael O'Boyle A Data Partitioning Algorithm for Distributed Memory Compilation A Data Partitioning Algorithm for Distributed Memory Compilation * Michael O'Boyle Department of
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-94-12-3.ps.Z, 19950616 Computer ScienceUniversity of Manchester Variable Delay Timing Analysis of Logic Circuits Behnam Bani-Eqbal Technical Report UMCS-94-12-3 Variable Delay Timing Analysis of Logic Circuits y Behnam Bani-Eqbal Department of Computer Science University of Manchester Oxford Road, Manchester, UK.
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-93-2-1.ps.Z, 19950616 Computer ScienceUniversity of Manchester A Process Algebraic Semantics for Core ELLA Howard Barringer, Graham Gough, Brian Monahan, Alan Williams Technical Report UMCS-93-2-1 FORMAL VERIFICATION SUPPORT FOR ELLA IED 4/1/1357 A Process Algebraic Semantics for Core ELLA Howard Barringer Graham Gough Brian
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-92-2-1.ps.Z, 19950616 Department of Computer Science University of Manchester Manchester M13 9PL, England Technical Report Series UMCS 92 2 1 Michael Fisher and Philippe No el Transformation and Synthesis in METATEM Part I: Propositional METATEM Transformation and Synthesis in METATEM Part I: Propositional METATEM* Michael
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-92-12-1.ps.Z, 19950616 Department of Computer Science University of Manchester Manchester M13 9PL, England Technical Report Series UMCS 92 12 1 C. B. Jones An Object-Based Design Method for Concurrent Programs An Object-Based Design Method for Concurrent Programs C. B. Jones* Department of Computer Science University of
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-93-6-4.ps.Z, 19950616 Computer ScienceUniversity of Manchester Encodings In Polymorphism, Revisited Yuxi Fu Technical Report UMCS 93 6 4 Encodings In Polymorphism, Revisited Yuxi Fu Department of Computer Science University of Manchester Oxford Rd., Manchester, U.K.
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-93-8-1.ps.Z, 19950616 Computer ScienceUniversity of Manchester Understanding the differences between VDM and Z I. J. Hayes, C. B. Jones and J. E. Nicholls Technical Report UMCS 93 8 1 Understanding the differences between VDM and Z I. J. Hayes Department of Computer Science University of Queensland e-mail:
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-92-1-1.ps.Z, 19950616 Department of Computer Science University of Manchester Manchester M13 9PL, England Technical Report Series UMCS 92 1 1 Michael O'Boyle and G.A. Hedayat Load Balancing of Parallel Affine Loops by Unimodular Transformations Load Balancing of Parallel Affine Loops by Unimodular Transformations* Michael
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-93-10-2.ps.Z, 19950616 Computer ScienceUniversity of Manchester From Types to Dataflow: Code Analysis for an Object-Oriented Language Andrew J. Barnard Technical Report UMCS 93 10 2 FROM TYPES TO DATAFLOW Code Analysis for an Object-Oriented Language By Andrew J. Barnard Department of Computer Science October 1993 Contents
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-93-2-2.ps.Z, 19950616 Department of Computer Science University of Manchester Manchester M13 9PL, England Technical Report Series UMCS 93 2 2 Michael Hugh O'Docherty A Multimedia Information System with Automatic Content Retrieval A Multimedia Information System with Automatic Content Retrieval1;2 Michael Hugh O'Docherty
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-94-2-2.ps.Z, 19950616 Computer ScienceUniversity of Manchester Accelerated Ray Tracing on the KSR1 Virtual Shared-Memory Parallel Computer M.J. Keates & R.J. Hubbold Technical Report UMCS-94-2-2 Accelerated Ray Tracing on the KSR1 Virtual Shared-Memory Parallel Computer* M.J. Keates & R.J. Hubbold Department of Computer
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-95-7-1.ps.Z, 19950718 Computer ScienceUniversity of Manchester The State Evolution Method for Verifying Hardware Systems Howard Barringer, Graham Gough, Brian Monahan, Alan Williams Technical Report UMCS-95-7-1 FORMAL VERIFICATION SUPPORT FOR ELLA IED 4/1/1357 The State Evolution Method for Verifying Hardware Systems Howard
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-95-7-2.ps.Z, 19950727 1 The Algebraic Theory of Interaction Nets R. Banach Technical Report UMCS-95-7-2 Computer Science University of Manchester 2 The Algebraic Theory of Interaction Nets R. Banach Department of Computer Science University of Manchester Oxford Road, Manchester, U.K. banach@cs.man.ac.uk Copyright 1995. All
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-95-8-1a.ps.Z, 19950828 RESEARCH INTERACTION BETWEEN UNIVERSITIES AND INDUSTRY IN COMPUTER SCIENCE 124 National Science Foundation. Science & Engineering Indicators. 1993, HTML edition on NSF WWW site. Peterson, J. Assessing the Performance of European Collaborative R&D Policy: The Case of EUREKA. Research
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-95-8-1bd.ps.Z, 19950830 Research Interactions Between University and Industry in Computer Science in the United States and United Kingdom Report Number: 95-8-1 Tom Haigh School of Arts and Sciences Department of History and Sociology of Science Suite 500, 3440 Market Street Philadelphia, PA 19104-8400 USA. c/o
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-95-8-1.ps.Z, 19950913 Research Interactions Between University and Industry in Computer Science in the United States and United Kingdom Report Number: 95-8-1 Tom Haigh School of Arts and Sciences Department of History and Sociology of Science Suite 500, 3440 Market Street Philadelphia, PA 19104-8400 USA. c/o
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-95-10-2.ps.Z, 19951030 1 Designing C-elements for Testability Oleg Petlin, Steve Furber Technical Report UMCS-95-10-2 Computer Science University of Manchester 2 Designing C-elements for Testability Oleg Petlin, Steve Furber Department of Computer Science University of Manchester Oxford Road, Manchester, U.K. {oleg,
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-95-10-3.ps.Z, 19951106 Computer ScienceUniversity of Manchester Enhancing the Tractability of Rely/Guarantee Specifications in the Development of Interfering Operations Pierre Collette and Cliff B. Jones Technical Report UMCS-95-10-3 1 2 Enhancing the Tractability of Rely/Guarantee Specifications in the Development of
	ftp://ftp.cs.man.ac.uk/pub/TR/ReportList80-90.ps.Z, 19951205 Technical Reports 1980 { 1990 University of Manchester Department of Computer Science December 5, 1995 Reports with numbers shown in bold below are available by anonymous ftp from ftp.cs.man.ac.uk in directory pub/TR, or using the WorldWide Web via URL http://www.cs.man.ac.uk/csonly/cstechrep/index.html
	ftp://ftp.cs.man.ac.uk/pub/TR/ReportList91-95.ps.Z, 19951205 Technical Reports 1991 { 1995 University of Manchester Department of Computer Science December 5, 1995 Reports with numbers shown in bold below are available by anonymous ftp from ftp.cs.man.ac.uk in directory pub/TR, or using the WorldWide Web via URL http://www.cs.man.ac.uk/csonly/cstechrep/index.html
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-95-10-1.ps.Z, 19951207 Intra-Modular Structuring in Model-Oriented Specification: Expressing Non-interference with Read and Write Frames Juan C. Bicarregui1 2 Computing and Information Systems Department Rutherford Appleton Laboratory Chilton, Didcot Oxon, OX11 OQX, U.K. j.c.bicarregui@rl.ac.uk 1Copyright c 1995. All rights
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-95-11-1.ps.Z, 19960122 ISSN 1361 - 6161 Computer ScienceUniversity of Manchester A highly restricted temporal logic with a tractable decision procedure Ian Pratt Department of Computer Science University of Manchester Technical Report Series UMCS-95-11-1 A highly restricted temporal logic with a tractable decision procedure
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-95-12-4.ps.Z, 19960206 ISSN 1361 - 6161 Computer ScienceUniversity of Manchester Notes on P-Algebra (3): Cartesian Product of Process Structures Kohei Honda Department of Computer Science University of Manchester Technical Report Series UMCS-95-12-4 Notes on P-Algebra (3): Cartesian Product of Process Structures Kohei Honda
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-95-12-2.ps.Z, 19960206 ISSN 1361 - 6161 Computer ScienceUniversity of Manchester Notes on P-Algebra (1): Process Structures Kohei Honda Department of Computer Science University of Manchester Technical Report Series UMCS-95-12-2 Notes on P-Algebra (1): Process Structures Kohei Honda Department of Computer Science University
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-95-12-3.ps.Z, 19960206 ISSN 1361 - 6161 Computer ScienceUniversity of Manchester Notes on P-Algebra (2): Group Presentation of Process Structure Kohei Honda Department of Computer Science University of Manchester Technical Report Series UMCS-95-12-3 Notes on P-Algebra (2): Group Presentation of Process Structure Kohei Honda
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-96-1-2.ps.Z, 19960206 ISSN 1361 - 6161 Computer ScienceUniversity of Manchester Learning by Tuition, Experiments with the Manchester FortyTwo Andreas B uhlmeier, Holger D urer, J urgen Monnerjahn, Manfred N olte and Ulrich Nehmzow Department of Computer Science University of Manchester Technical Report Series UMCS-96-1-2
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-96-1-1.ps.Z, 19960206 ISSN 1361 - 6161 Computer ScienceUniversity of Manchester Modal Observation Equivalence of Processes W. P. R. Mitchell and D. P. Carlisle Department of Computer Science University of Manchester Technical Report Series UMCS-96-1-1 Modal Observation Equivalence of Processes W. P. R. Mitchell, D. P.
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-95-12-1.ps.Z, 19960206 ISSN 1361 - 6161 Computer ScienceUniversity of Manchester Strategies for Temporal Resolution Clare Dixon Department of Computer Science University of Manchester Technical Report Series UMCS-95-12-1 Strategies for Temporal Resolution1 Clare Dixon Department of Computer Science University of Manchester
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-96-1-3.ps.Z, 19960206 ISSN 1361 - 6161 Computer ScienceUniversity of Manchester Fractal Encoding by Classified Domain Trees Behnam Bani-Eqbal Department of Computer Science University of Manchester Technical Report Series UMCS-96-1-3 Fractal Encoding by Classified Domain Trees Behnam Bani-Eqbal Department of Computer Science
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-95-12-6.ps.Z, 19960206 ISSN 1361 - 6161 Computer ScienceUniversity of Manchester The Prospective Student's Introduction to the Robot Learning Problem Ulrich Nehmzow and Tom Mitchell Department of Computer Science University of Manchester Technical Report Series UMCS-95-12-6 The Prospective Student's Introduction to the Robot
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-95-12-5.ps.Z, 19960207 ISSN 1361 - 6161 Computer ScienceUniversity of Manchester Notes on P-Algebra (4): Algebra over Process Structure, Part I. Kohei Honda Department of Computer Science University of Manchester Technical Report Series UMCS-95-12-5 Notes on P-Algebra (4): Algebra over Process Structure, Part I. Kohei Honda
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-96-2-1.ps.Z, 19960306 ISSN 1361 - 6161 Computer ScienceUniversity of Manchester A Theory of Classes: Proofs and Models Barnaby P. Hilken and David E. Rydeheard Department of Computer Science University of Manchester Technical Report Series UMCS-96-2-1 A Theory of Classes: Proofs and Models Barnaby P. Hilken and David E.
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-96-2-2.ps.Z, 19960306 ISSN 1361 - 6161 Computer ScienceUniversity of Manchester Some Formal Musings on the Performance of Asynchronous Hardware. C. Tofts Department of Computer Science University of Manchester Technical Report Series UMCS-96-2-2 Some Formal Musings on the Performance of Asynchronous Hardware. y C.Tofts,
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-96-2-3.ps.Z, 19960306 ISSN 1361 - 6161 Computer ScienceUniversity of Manchester Remote Control of Mobile Robot via Internet Ulrich Nehmzow, Andreas B uhlmeier, Holger D urer and Manfred N olte Department of Computer Science University of Manchester Technical Report Series UMCS-96-2-3 Remote Control of Mobile Robot via
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-96-3-1.ps.Z, 19960425 ISSN 1361 - 6161 Computer ScienceUniversity of Manchester Language on the Internet: Fantasy and Terminology Mary McGee Wood Department of Computer Science University of Manchester Technical Report Series UMCS-96-3-1 Language on the Internet: Fantasy and Terminology Mary McGee Wood Department of Computer
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-90-3-1.ps.Z, 19960717 On the usability of logics which handle partial functions J.H. Chengy, C.B. Jonesz September 15, 1994
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-96-7-3.ps.Z, 19960801 1 A Fibration Semantics for Pi-Calculus Modules via Abstract MONSTR Rule Systems R. Banach UMCS-96-7-3 Computer Science University of Manchester Technical Report Series University of Manchester Department of Computer Science ISSN 1361 - 6161 2 A Fibration Semantics for Pi-Calculus Modules via Abstract
	ftp://ftp.cs.man.ac.uk/pub/TR/ReportList80-91.ps.Z, 19960801 Technical Reports 1980 { 1991 University of Manchester Department of Computer Science August 1, 1996 Reports with numbers shown in bold below are available by anonymous ftp from ftp.cs.man.ac.uk in directory pub/TR, or using the WorldWide Web via URL http://www.cs.man.ac.uk/csonly/cstechrep/index.html
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-96-7-1.ps.Z, 19960801 ISSN 1361 - 6161 Computer ScienceUniversity of Manchester Shape Representation using Fourier Coefficients of the Sinusoidal Transform Ian Pratt Department of Computer Science University of Manchester Technical Report Series UMCS-96-7-1 Shape Representation using Fourier Coefficients of the Sinusoidal
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-96-7-2.ps.Z, 19960801 ISSN 1361 - 6161 Computer ScienceUniversity of Manchester The Semantics of Temporal Prepositions and Related Adverbials in English Ian Pratt Department of Computer Science University of Manchester Technical Report Series UMCS-96-7-2 The Semantics of Temporal Prepositions and Related Adverbials in
	ftp://ftp.cs.man.ac.uk/pub/TR/ReportList92-96.ps.Z, 19960801 Technical Reports 1992 { 1996 University of Manchester Department of Computer Science August 1, 1996 Reports with numbers shown in bold below are available by anonymous ftp from ftp.cs.man.ac.uk in directory pub/TR, or using the WorldWide Web via URL http://www.cs.man.ac.uk/csonly/cstechrep/index.html
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-96-8-1.ps.Z, 19960903 1 DPO Rewriting and Abstract Semantics via Opfibrations R. Banach UMCS-96-8-1 Computer Science University of Manchester Technical Report Series University of Manchester Department of Computer Science ISSN 1361 - 6161 2 DPO Rewriting and Abstract Semantics via Opfibrations* R. Banach Department of
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-96-8-2.ps.Z, 19960904 ISSN 1361 - 6161 Computer ScienceUniversity of Manchester Comments on Specifying Reactive Systems Pierre Collette Department of Computer Science University of Manchester Technical Report Series UMCS-96-8-2 Comments on Specifying Reactive Systems Pierre Collette Department of Computer Science University
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-96-12-1.ps.Z, 19961210 1 MONSTR V Transitive Coercing Semantics and the Church-Rosser Property R. Banach UMCS-96-12-1 Computer Science University of Manchester Technical Report Series University of Manchester Department of Computer Science ISSN 1361 - 6161 2 MONSTR V Transitive Coercing Semantics and the Church-Rosser
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-96-11-2.ps.Z, 19961210 1 An Opfibration Account of Typed DPO and DPB Graph Transformation: General Productions R. Banach, A. Corradini UMCS-96-11-2 Computer Science University of Manchester Technical Report Series University of Manchester Department of Computer Science ISSN 1361 - 6161 2 An Opfibration Account of Typed DPO
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-96-11-1.ps.Z, 19961218 ISSN 1361 - 6161 Computer ScienceUniversity of Manchester A ROBUST, PERCEPTION BASED LOCALISATION METHOD FOR A MOBILE ROBOT T. Duckett and U. Nehmzow Department of Computer Science University of Manchester Technical Report Series UMCS-96-11-1 A ROBUST, PERCEPTION{BASED LOCALISATION METHOD FOR A MOBILE
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-96-12-2.ps.Z, 19970117 ISSN 1361 - 6161 Computer ScienceUniversity of Manchester Duality for Intuitionistic Modal Algebras Barnaby P. Hilken Department of Computer Science University of Manchester Technical Report Series UMCS-96-12-2 Duality for Intuitionistic Modal Algebras Barnaby P. Hilken Department of Computer Science
	ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-97-1-1.ps.Z, 19970129 ISSN 1361 - 6161 Computer ScienceUniversity of Manchester Ontologies for Plane, Polygonal Mereotopology Ian Pratt Oliver Lemon Department of Computer Science University of Manchester Technical Report Series UMCS-97-1-1 Ontologies for Plane, Polygonal Mereotopology Ian Pratt Oliver Lemon Department of