Computer Science: Publication Index 1996

• The Effects of ABR Traffic on CBR Traffic. D.H. Akehurst, P.F. Linington, A.J. Symes, and G. Waters. In Demetres Kouvatsos, editor, Fourth IFIP Workshop on Performance Modelling and Evaluation of ATM Networks, pages 32/1-32/10, University of Bradford, UK, July 1996. IFIP Working Group 6.3 and 6.4.
• Quantitative surface microanalysis of samples with extreme topography utilising image interpretation by scatter diagrams and principal component analysis. I.R. Barkshire, P.G. Kenny, I.W. Fletcher, and M. Prutton. Ultramicroscopy, 63:193-203, March 1996.
• An analysis of world-wide web proxy cache performance and its application to the modelling and simulation of network traffic.. David Barnes and Neil Smith. Technical Report 9-96*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, May 1996.
• An analysis of world-wide web proxy cache performance and its application to the modelling and simulation of network traffic. D.J. Barnes and N.G. Smith. In Proceedings of the 4th International Conference on Telecommunication Systems Modeling and Analysis, page 9, March 1996.
• A comparative evaluation of internet use for discipline networks. David Bateman and Sally Fincher. In A. Behrooz, editor, Knowledge Transfer '96, pages 296-300. Pacific and Middle East Centre for Research, July 1996.
• The academic directory - ac/dc. Dave Beckett and Neil Smith. Technical Report 8-96*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, May 1996.
• A Strict occam Design Tool. D.J. Beckett and P.H. Welch. In C.R. Jesshope and A. Shafarenko, editors, Proceedings of UK Parallel ''96, pages 53-69, Guildford, UK, July 1996. Springer-Verlag, London. ISBN 3-540-76068-7.
• Issues in multiparadigm viewpoint specification. E. Boiten, H. Bowman, J. Derrick, and M. Steen. In A. Finkelstein and G. Spanoudakis, editors, SIGSOFT '96 International Workshop on Multiple Perspectives in Software Development (Viewpoints '96), pages 162-166. ACM, October 1996.
• Consistency and refinement for partial specification in Z. E. Boiten, J. Derrick, H. Bowman, and M. Steen. In M.-C. Gaudel and J. Woodcock, editors, FME'96: Industrial Benefit of Formal Methods, Third International Symposium of Formal Methods Europe, volume 1051 of Lecture Notes in Computer Science, pages 287-306. Springer-Verlag, March 1996.
• Nested collections and polytypism. E.A. Boiten and P.F. Hoogendijk. Computing Science Report 96-17, Department of Computing Science, Eindhoven University of Technology, November 1996.
• Event based personal retrieval. John Bovey. Journal of Information Science, 22(5):357-366, May 1996.
• Viewpoint consistency in ODP, a general interpretation. H. Bowman, E. Boiten, J. Derrick, and M. Steen. In E. Najm and J.-B. Stefani, editors, First IFIP International Workshop on Formal Methods for Open Object-Based Distributed Systems, pages 189-204. Chapman & Hall, March 1996.
• Cross viewpoint consistency in Open Distributed Processing. H. Bowman, J. Derrick, P. Linington, and M. Steen. Software Engineering Journal, 11(1):44-57, January 1996.
• Strategies for consistency checking, the choice of unification. Howard Bowman, Eerke Boiten, John Derrick, and Maarten Steen. Technical Report 5-96*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, February 1996.
• Acrobat, mosaic and guide as vehicles for electronic journals. Heather Brown and Judith Wusteman. In Huw Jones Rae Earnshaw and John Vince, editors, Digital Media and Electronic Publishing, pages 65-89. Academic Press, August 1996.
• Building novel software: the researcher and the market-place. P. J. Brown. In R. Milner and I. Wand, editors, Computing Tomorrow: Future Directions in Computer Science, pages 21-32. Cambridge University Press, January 1996.
• The stick-e document: a framework for creating context-aware applications. P. J. Brown. In Proceedings of EP''96, Palo Alto, pages 259-272. also published in it EP-odd, January 1996.
• A r=1 two-state Cellular Automata that Classifies Density. M Capcarrere, M Tomassinin, and M Sipper. Physical Review Letters, 77(24):4969-4971, 1996.
• Important lessons derived from X.500 case studies. D. W. Chadwick. IEEE Network, 10(2):22-34, March 1996.
• A method for collecting case study information via the internet. D. W. Chadwick. IEEE Network, 10(2):36-38, March 1996.
• The ICE-TEL Public Key Infrastructure and Trust Model. D. W. Chadwick. In DIMACS Workshop on Trust Management, New York, USA, 1996.
• The Internet Directory is NOT Primarily a Technology Issue. D. W. Chadwick. In INET 96 Conference, Montreal, Canada, 1996.
• Understanding x.500 (the directory). D. W. Chadwick. International Thompson Publishing, 1996.
• Distortion reduction in multiple JPEG compressed still images.. S Chan and G.E.W. Tripp. Electronics Letters, 32(12):1082-1084, June 1996.
• The sigma-semantics: A comprehensive semantics for functional programs. Olaf Chitil. AIB 96-07, RWTH Aachen, May 1996. Pre-version of the Fundamenta Informaticae paper.
• Partitioning Dynamic Object Models. D Cleal, J Daniels, and S Cook. In A O'Callaghan and S Thornes, editors, Practical Experiences of Object Technology. 1996.
• An Heuristic for Lower Cost Multicast Routing in the Internet.. John Crawford and Gill Waters. Technical Report. 25-96, University of Kent at Canterbury., June 1996. This work was supported by EPSRC Grant GR/K55837 and presented at the IDMR of the 36th IETF, Montreal, Canada, June 1996.
• Randomized pram simulation using t9000 transputers. Zbigniew Czech and Wojciech Mikanik. Technical Report 3-96*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, January 1996.
• Pim 2.0 the parallel iterative methods package for systems of linear equations user's guide (fortran 77 version). Rudnei da Cunha and Tim Hopkins. Technical Report 1-96*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, January 1996.
• Real-time LOSTOS and Timed Observations. J.W. Davies, J.W. Bryans, and S.A. Schneider. IFIP. Presented at FORTE'95, Chapman and Hall, April 1996.
• Interaction of Periodic Bursty Traffic Flows in ATM Networks. Paulo Manuel Martins de Carvalho. PhD thesis, Computing Laboratory, University of Kent at Canterbury, December 1996.
• Analysis of Safety Requirements for a Chemical Batch Processing System. R. de Lemos, A. Saeed, and T. Anderson. In T. Hilburn, G. Suski, and J. Zalewski, editors, Proceedings of the 2nd IFAC Workshop on Safety and Reliability in Emerging Control Technologies, pages 205-210, Daytona Beach, Florida, USA, November 1996. Pergamon/Elsevier Science, Oxford UK.
• Extended RTL in the Specification and Verification of an Industrial Press. R. de Lemos and J. Hall. In R. Alur, Y. A. Henzinger, and E. Sontag, editors, Hybrid Systems III, Lecture Notes in Computer Science 1066, pages 114-125, Berlin, Germany, December 1996. Springer-Verlag.
• Configuring Distributed occam Programs using Doc. S.V. Demiralp. In H. Arabnia et al., editors, Proceedings of the PDPTA''96, pages 1152-1162, Sunnyvale, California, USA, August 1996. CSREA, Athens, Georgia. ISBN 0-9648666-3-3.
• Supporting ODP - translating LOTOS into Z. J. Derrick, E. Boiten, H. Bowman, and M. Steen. In E. Najm and J.-B. Stefani, editors, First IFIP International Workshop on Formal Methods for Open Object-Based Distributed Systems, pages 399-406, Paris, March 1996. Chapman & Hall.
• Comparing LOTOS and Z refinement relations. J. Derrick, H. Bowman, E.A. Boiten, and M. Steen. In FORTE/PSTV'96, pages 501-516, Kaiserslautern, Germany, October 1996. Chapman & Hall.
• A Compiled Functional Language with a Martin-Lof Type System. Andrew Douglas. PhD thesis, Computing Laboratory, University of Kent at Canterbury, August 1996.
• Formal Specification of Distributed Services Management. G. P. A. Fernandes and J. Derrick. In Otto Spaniol, Claudia Linnhoff-Popien, and Bernd Meyer, editors, Trends in Distributed Systems' 96, pages 96-103, Aachen, Germany, October 1996. RWTH Aachen, Verlag der Augustinus Buchhandlung.
• An Architecture for Scheduling of Services in a Distributed System. G. P. A. Fernandes and I. A. Utting. In DSOM'96 - Seventh IFIP/IEEE International Workshop on Distributed Systems: Operations & Management, page 10, L'Aquila, Italy, October 1996. IFIP/IEEE.
• An Object-Oriented Model for Management of Services in a Distributed System. G. P. A. Fernandes and I. A. Utting. In Max M"uhlh"auser, editor, Special Issues in Object-Oriented Programming - Workshop Reader of the 10th European Conference on Object-Oriented Programing ECOOP'96, pages 262-266, Linz, Austria, July 1996. dpunkt.verlag.
• Supporting the supervisors. S.A. Fincher and D.C. Bateman. In Rory O'Connor and Sylvia Alexander, editors, 4th Annual Conference on the Teaching of Computing: Providing Quality Computer Science Education, pages 227-230. Centre for Teaching Computing, Dublin City University, August 1996.
• A Framework for Data-parallel Knowledge Discovery in Databases. AA Freitas and SH Lavington. In IEE Colloquium on Knowledge Discovery and Data Mining: Digest No 96/198, pages 6/1-6/4, London, October 1996. IEE.
• Parallel Data Mining for Very Large Relational Databases. AA Freitas and SH Lavington. In H Liddel et al, editor, Proc Int Conf on High-Performance Computing and Networking (HPCN'96), Lecture Notes in Computer Science, 1067, pages 158-163, Berlin, 1996. Springer-Verlag.
• Speeding up knowledge discovery in large relational databases by means of a new discretization algorithm. AA Freitas and SH Lavington. In R Morrison and J Kennedy, editors, Advances in Databases (Proc 14th British Nat Conf on Databases, Edinburgh, UK, number 1094 in Lecture Notes in Computer Science, pages 124-133, Berlin, 1996. Springer-Verlag.
• Using SQL primitives and parallel DB servers to speed up knowledge discovery in large relational databases. AA Freitas and SH Lavington. In R Trappl, editor, Cybernetics and Systems '96: Proc 13th European Meeting on Cybernetics and Systems Research, pages 955-960, Vienna, Austria, April 1996.
• GATE - an Environment to Support Research and Development in Natural Language Engineering. R.G. Gaizauskas, H. Cunningham, Y. Wilks, P.J. Rodgers, and K. Humphreys. In Proceedings of the 8th IEEE International Conference on Tools with Artificial Intelligence (ICTAI-96), pages 58-66. IEEE Computer Society, October 1996.
• Formal methods and object technology. S.J. Goldsack and S.J.H. Kent. FACIT Series. Springer-Verlag, January 1996.
• ERTL: an Extension to RTL for the Specification, Analysis and Verification of Hybrid Systems. J. G. Hall and R de Lemos. In Proceedings of the 8th EUROMICRO Workshop on Real-Time Systems, pages 3-8, L'Aquila, Italy, June 1996. IEEE Computer Press.
• The Pseudoknot functional benchmark. Pieter H. Hartel, Marc Feeley, Martin Alt, Lennart Augustsson, Peter Baumann, Marcel Beemster, Emmanuel Chailloux, Christine H. Flood, Wolfgang Grieskamp, and John H. G. van G. Research Journal, January 1996.
• Benchmarking implementations of functional languages with `Pseudoknot', a float-intensive benchmark. Pieter H. Hartel, Marc Feeley, Richard Jones, and Stephen Thomas. Journal of Functional Programming, 6(4):621-655, July 1996.
• Is modularisation always a good idea. Leslie Hatton. International Software Technology, 38, January 1996.
• Keynote paper at WoCo7. Leslie Hatton. sponsored by IEEE Computational Science and Engineering, Oxford, July 1996.
• Keynote paper in EUROSTAR'96. Leslie Hatton. In Conference on Software Testing, Analysis and Review, Amsterdam, December 1996.
• Keynote paper in STAR'96. Leslie Hatton. In Conference on Software Testing, Analysis and Review, Orlando, Florida, January 1996.
• Software Faults: the avoidable and the unavoidable: lessons from real systems. Leslie Hatton. In Proceedings of Product Assurance Workshop, ESA SP-377, Noordwijk, The Netherlands, January 1996. European Space Agency.
• Spatial clustering using a genetic algorithm. Mike H.W. Hobbs. In David Parker, editor, Innovatins in GIS 3, chapter 8, pages 85-95. Taylor & Francis, January 1996.
• The implementation and visualisation of a large spatial individual-based model using fortran 90. Tim Hopkins and David R. Morse. Technical Report 18-96*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, October 1996.
• Transputer Data-flow Solution for Systems of Linear Equations. T.R. Hopkins and P.H. Welch. Concurrency: Practice and Experience, 8(8):569-580, August 1996. Published by John Wiley and Sons Ltd.
• Restructuring software: A case study. Tim Hopkins. Technical Report 2-96*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, January 1996.
• Restructuring software: A case study. T.R. Hopkins. SPE, 26(8):967-982, August 1996.
• Theorem Proving and Partial Proof Search for Intuitionistic Propositional Logic Using a Permutation-free Calculus with Loop-Checking. J. M. Howe. Research Report CS/96/12, University of St Andrews, August 1996.
• Reducing the cost of Remote Procedure Call.. A.L. Ibbetson, P.F. Linington, I.A. Penny, A.B. Smith, and G.E.W. Tripp. In A. Schill, C. Mittasch, O. Spaniol, and C. Popien, editors, Distributed Platforms, pages 430-446. Chapman & Hall, February 1996.
• Modelling robot manipulators in a CAD environment using B-splines. Colin G. Johnson and Duncan Marsh. In Nikolaos G. Bourbakis, editor, Proceedings of the 1996 IEEE Joint Symposia on Intelligence and Systems, pages 194-201. IEEE, IEEE Press, November 1996.
• Extending the application of formal methods to analyse human error and system failure during accident investigations. C.W. Johnson and A.J. Telford. Software Engineering Journal, 11(6):355-365, November 1996.
• Modelling robot manipulators in a CAD environment using B-splines. Colin G. Johnson. In Nikolaos G. Bourbakis, editor, IEEE International Joint Symposia on Intelligence and Systems, pages 194-201. Institute of Electrical and Electronic Engineers, IEEE Press, November 1996.
• Garbage collection: Algorithms for automatic dynamic memory management. Richard Jones. John Wiley and Sons, July 1996. With a chapter on Distributed Garbage Collection by Rafael Lins. Reprinted 1997 (twice), 1999, 2000.
• About the completeness of type systems. Stefan Kahrs. In Maarten de Rijke, editor, Observational Equivalence and Logical Equivalence, page 17. ESSLLI, August 1996.
• Limits of ML-definability. Stefan Kahrs. In Proceedings of PLILP'96, volume 1140 of Lecture Notes in Computer Science, pages 17-31. Springer, September 1996.
• Monitoring Fisheries Using a GIS and GPS. Zarine Kemp and Geoff Meaden. In Geographic Information Towards the Millenium. Proceedings of the Association for Geographic Information Conference AGI '96, September 1996.
• Value Types in Eiffel. S. Kent and J. Howse. In Proceedings of TOOLS Europe'96 (TOOLS 19), pages 145-160. Prentice Hall, January 1996.
• Feature-based and Model-based Semantics for English, French and German Verb Phrases. S. Kent and J.V. Pitt. Language Sciences, 18(1-2):339-362, January 1996.
• Blue - a language for teaching object-oriented programming. Michael Kolling and John Rosenberg. In Proceedings of the 27th SIGCSE Technical Symposium on Computer Science Education, pages 190-194, Philadelphia, Pennsylvania, USA, March 1996. ACM.
• An object-oriented program development environment for the first programming course. Michael Kolling and John Rosenberg. In Proceedings of the 27th SIGCSE Technical Symposium on Computer Science Education, pages 83-87, Philadelphia, Pennsylvania, USA, March 1996. ACM.
• A Real-time Action Logic of Objects. K. Lano, J. Bicarregui, and S. Kent. In Proceedings of ECOOP'96 Workshop on Proof Theory of Concurrent Object-oriented Programming. Linz, Austria, July 1996.
• RIVUS: A stream template language for capturing multimedia requirements. D.L. Lindsey and P.F. Linington. In D.Hutchison, H.Christiansen, G.Coulson, and A.Danthine, editors, Teleservices and Multimedia Communications (Proc. 2nd COST 237 Int. Workshop), volume 1052 of Lecture Notes in Computer Science, pages 259-277. Springer-Verlag, 1996.
• The specification and conformance of ODP systems. P.F. Linington, J. Derrick, and H. Bowman. In 9th International Workshop on Testing of Communicating Systems, pages 93-114, Darmstadt, Germany, September 1996. IFIP TC6/WG6.1, Chapman & Hall.
• Implementation of a mechanism in the OSI directory. Y. Ma and D.W. Chadwick. Minimicro Systems (China), 17(7):5-10, 1996.
• An Open Multimedia Conferencing Architecture Supporting Quality of Service. T. M. Moore. PhD thesis, Computing Laboratory, University of Kent at Canterbury, September 1996.
• Modelling the Spatial Dynamics of Plant Viruses. D. Morgan and D.R. Morse. Aspects of Applied Biology, 46:257-262, January 1996.
• A comparison of the effectiveness of a dichotomous key and a multi-access key to woodlice. David Morse, G.M. Tardival, and J. Spicer. Technical Report 14-96*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, August 1996.
• Australian multimedia. D.R. Morse. Trends in Ecology and Evolution, 11(12):524, December 1996.
• Visualisation of 3D spectrum-images from multispectral surface analytical microscopy. D.L. Mountain, P.G. Kenny, I.R. Barkshire, and M. Prutton. In Huw Jones, Ralph Raby, and Dion Vicars, editors, Eurographics UK 1996, volume 1, pages 95-102. Eurographics, Eurographics, March 1996. Imperial College, London, 26-28 March 1996.
• Multispectral image compression using the Karhunen-Loeve (Hotelling) transform. P.F. Newbury, P.G. Kenny, M.J.G. Wenham, M. Prutton, and I.R. Barkshire. In Proceedings of 1st International Symposium on Digital Signal Processing, pages 10-15. TBM, TBM, July 1996. London, UK, 23-25 July 1996.
• Building an HTML macro toolbox. Andrew Peel. First submitted to the Open University, March 1996., March 1996.
• HTML Macros - Easing the Construction and Maintenance of Web Texts. Andrew Peel. Technical Report 4-96*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, January 1996.
• occam-for-all - Two Approaches to Retargeting the INMOS occam Compiler. M.D. Poole. In Brian O''Neill, editor, Parallel Processing Developments - Proceedings of WoTUG 19, pages 167-178, Nottingham-Trent University, UK, March 1996. World occam and Transputer User Group, IOS Press, Netherlands. ISBN 90-5199-261-0.
• Generating fault trees from fmea. C.J. Price, M.S. Wilson, J. Timmis, and C Cain. In 7th International Workshop on Principles of Diagnosis, 1996.
• Multi-imaging and multivariate statistics used for 3D characterization at surfaces. M. Prutton, I.R. Barkshire, P.G. Kenny, R.H. Roberts, and M. Wenham. Phil. Trans. R. Soc. Lond. A, 354:2683-2695, January 1996. Invited paper at Royal Society Meeting on Three Dimensional Chemical Characterisation of Electronic Materials, London, June 1995.
• A Model for Flexible Telephone Services based on Negotiating Agents. M Rizzo. PhD thesis, Computing Laboratory, University of Kent, Canterbury, Kent, UK, August 1996.
• Interactive Hierarchical Data Investigation using Abstractions - the Waltz Visualization Environment. Jonathan C. Roberts. Technical Report 24-96, University of Kent, Computing Laboratory, Universty of Kent, Canterbury, Kent, CT2 7NF, UK, December 1996.
• Waltz Quick Start. Jonathan C. Roberts. Technical Report 23-96, University of Kent, Computing Laboratory, University of Kent, Canterbury, Kent, CT2 7NF, UK, December 1996.
• Waltz User Manual. Jonathan C. Roberts. Technical Report 22-96, University of Kent, Computing Laboratory, University of Kent, Canterbury, Kent, CT2 7NF, UK, December 1996.
• A cyclic distributed garbage collector for Network Objects. Helena C. C. D. Rodrigues and Richard E. Jones. In Ozalp Babaoglu and Keith Marzullo, editors, Tenth International Workshop on Distributed Algorithms WDAG'96, number 1151 in Lecture Notes in Computer Science, pages 123-140, Bologna, Italy, October 1996. Springer.
• Experiences in implementing a real-time video filestore. K.J. Rothwell, P.F. Linington, and A.G. Waters. In Proceedings of Advanced Digital Video Compression Engineering (ADVICE) 96 Conference, pages 157-165, Cambridge, UK, July 1996. EDA Exhibitions Ltd.
• Low-observable maritime tracking using Monte Carlo Markov Chain methods. A. R. Runnalls and K. Sirlantzis. In Target Tracking and Data Fusion. IEE, November 1996. Digest No 96/253.
• Computer based visualisation of the past: technical `realism' and historical credibility. N. Ryan. In P. Main T. Higgins and J. Lang, editors, Imaging the past: electronic imaging and computer graphics in museums and archaeology, number 114 in Occasional Papers, pages 95-108. The British Museum, London, November 1996.
• A model for evolution of services in distributed systems. Twittie Senivongse and Ian Utting. In Spaniol Schill, Mittasch and Popien, editors, Distributed Platforms, pages 373-385. Chapman and Hall, January 1996.
• Congestion control of AAL3/4 and AAL5 traffic over ATM networks. A.K Shandal and A.G. Waters. In Demetres Kouvatsos, editor, 4th IFIP Workshop on Performance Modelling and Evaluation of ATM Networks, pages 31/1-31/10, Ilkley, West Yorkshire, July 1996. IFIP Working Groups 6.3 and 6.4.
• Flexible Approaches to Controlling Congestion of Data Traffic in an ATM Network. Anil Kumar Shandal. PhD thesis, Computing Laboratory, University of Kent at Canterbury, October 1996.
• Resolution K-Transformations. Jan-Georg Smaus. Master's thesis, Universitaet des Saarlandes (Max-Planck-Institut fuer Informatik), Saarbruecken, Germany, February 1996.
• Freely redistributable software across the internet - current practice and future directions to overcome the bandwidth crisis.. Neil Smith. Technical Report 10-96*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, June 1996.
• The uk national web cache - a state of the art report. Neil Smith. Technical Report 11-96*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, June 1996.
• A Software Development Tool for Parallel and Distributed Systems. R.D. Stone and D.R. Morse. In Brian O''Neill, editor, Parallel Processing Developments - Proceedings of WoTUG 19, pages 207-219, Nottingham-Trent University, UK, March 1996. World occam and Transputer User Group, IOS Press, Netherlands. ISBN 90-5199-261-0.
• Adaptiveimage retrieve based on coocurrence matrix. Linying Su. Journal of Inner Mongolia University (Edition of Science), 27(1):123-128, January 1996.
• Cross-viewpoint consistency in accident investigations. A.J. Telford and C.W. Johnson. Technical Report TR-1996-38, Department of Computer Science, University of Glasgow, 17, Lilybank Gardens, Glasgow, G12 8QQ, August 1996. An abridged version of this TR was submitted to Formal Aspects of Computing.
• Abstract interpretation of constructive type theory. Alastair Telford and Simon Thompson. Technical Report 19-96*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, October 1996.
• Haskell: The Craft of Functional Programming. Simon Thompson. Addison Wesley, July 1996. Further details <a href="http://www.ukc.ac.uk/computer_science/Haskell_craft/">here</a>.
• Chinese Character Generation - A Stroke Oriented Method. Kuo-Jung Tseng. PhD thesis, Computing Laboratory, University of Kent at Canterbury, June 1996.
• SIDL: Design and Specification of a Compositional Object-Oriented Model for Generalised Data Management. Eduardo Rojas Vegas. PhD thesis, Computing Laboratory, University of Kent at Canterbury, December 1996.
• CSP/occam on Networks of Workstations. K.J. Vella. In C.R. Jesshope and A. Shafarenko, editors, Proceedings of UK Parallel ''96, pages 53-69. Springer-Verlag, London, July 1996. ISBN 3-540-76068-7.
• Low-cost ATM Multicast Routing with Constrained Delays. A.G Waters and J.S. Crawford. In J. Pascual and A. Danthine, editors, Multimedia Telecommunications and Applications, volume 1185 of Lecture Notes in Computer Science, pages 23-40, Barcelona, Spain, November 1996. 3rd International COST 237 workshop, Springer, Heidelberg.
• Multi-party communication over packet networks. A. G. Waters. PhD thesis, University of Essex, School of Science and Engineering, March 1996. This publication is available from UKC as well as the University of Essex.
• Emulating a Secure Multicasting Bus Using occam2.1. P.H. Welch and D.J. Beckett. In Brian O''Neill, editor, Parallel Processing Developments - Proceedings of WoTUG 19, pages 59-73, Nottingham-Trent University, UK, March 1996. World occam and Transputer User Group, IOS Press, Netherlands. ISBN 90-5199-261-0.
• Final report: Embedded occam/alpha demonstrator. P.H. Welch and M.D Poole. Technical report, Computing Laboratory, University of Kent at Canterbury, Canterbury, Kent, CT2 7NF, October 1996.
• The Kent Retargetable occam Compiler. P.H. Welch and D.C. Wood. In Brian O''Neill, editor, Parallel Processing Developments - Proceedings of WoTUG 19, pages 143-166, Nottingham-Trent University, UK, March 1996. World occam and Transputer User Group, IOS Press, Netherlands. ISBN 90-5199-261-0.
• Electronic journal formats. Judith Wusteman. Technical Report 7-96*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, April 1996.
• A mechanisation of computability theory in HOL. Vincent Zammit. In J. von Wright, J. Grundy, and J. Harrison, editors, Proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics, volume 1125 of Lecture Notes in Computer Science, pages 431-446, Turku, Finland, August 1996. Springer-Verlag.