WoTUG - The place for concurrent processes
Organisation
Home
About Us
Conferences
Mailing List
Links
Membership
Constitution

Practice
Documents
Papers (static)
Paper DB
Search
All Confs
All Papers
All Authors
CSP
occam
KRoC
Tools
Transputer

Links
Occam-PI
Transterpreter
SPoC
JCSP
CTJ
JavaPP

Hosted Sites
IPCArchive

List all Papers

Formats
"Do it yourself" shared memory instruction sets in occam db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
M. I. Cole		199010 BibTEX Refer
3D medical graphics -- using the T800 transputer db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
A. C. Tan, R. Richards, A. D. Linney		19888 BibTEX Refer
A 40 Gbit/s Network Processor Design Platform db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
R. McConnell, P. Winser		200120 BibTEX Refer
A CASE Tool for Designing Deadlock-Free OCCAM Programs db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
W. D. Crowe, R. Hasson, P. E. D. Strain-Clark		198913 BibTEX Refer
A Cell Transterpreter db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Damian J. Dimmich, Christian L. Jacobsen, Matthew C. Jadud		200610 BibTEX Refer
A Circus Development and Verification of an Internet Packet Filter. db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Alistair A. McEwan		200624 BibTEX Refer
A Communicating Threads Case Study: JIWY db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Jan F. Broenink, Gerald H. Hilderink, Dusko S. Jovanovic		200210 BibTEX Refer
A communication processor on the transputer db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Herman Roebbers, Marnix Vlot		19899 BibTEX Refer
A Comparison Of Data-Parallel Programming Systems With Accelerator db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Alex Cole, Alistair A. McEwan, Satnam Singh		201120 BibTEX Refer
A Comparison of High Performance, Parallel Computing Java Packages db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Nan C. Schaller, Sidney W. Marshall, Yu-Fong Cho		200316 BibTEX Refer
A Comparison of Linda Implementations in Java db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
George Wells, Peter Clayton, Alan G. Chalmers		200014 BibTEX Refer
A Comparison of Message Passing Interface and Communicating Process Architecture Networking Communication Performance db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Kevin Chalmers		201214 BibTEX Refer
A Comparison of Parallel Implementations of Flux Corrected Transport Codes db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Jing-ming Jong, G. S. Stiles		198916 BibTEX Refer
A Comparison of Three MPI Implementations db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Brian Vinter, John Markus Bjørndalen		200410 BibTEX Refer
A comparison of two notations for programming image processing applications on transputers db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Philip J. Morrow		198810 BibTEX Refer
A Concurrent Algorithm for the Reconstruction of Nuclear Magnetic Resonance Scanner Images db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
D. R. K. Rao, R. A. Bacon		199310 BibTEX Refer
A concurrent approach to the Towers of Hanoi db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
W. D. Crowe, P. E. D. Strain-Clark		198810 BibTEX Refer
A CPA Series db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Ian R. East		20121 BibTEX Refer
A Critique of JCSP Networking db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Kevin Chalmers, Jon Kerridge, Imed Romdhani		200821 BibTEX Refer
A Cruise Control in occam based on an Implementation of KRoC on the Philips 8051 Microcontroller db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Frank T. M. van Vugt, André W. P. Bakkers		200016 BibTEX Refer
A CSP Model for Mobile Channels db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Peter H. Welch, Frederick R. M. Barnes		200817 BibTEX Refer
A CSP-based Processing Architecture for a Flexible MIMO-OFDM Testbed db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
H. S. Cronie, F. W. Hoeksema, C. H. Slump		20039 BibTEX Refer
A Deadlock Detection Tool for Occam db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Wouter Joosen, Pierre Verbaeten		198919 BibTEX Refer
A deadlock-free communication system for a transputer network db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
E. Gallizzi, M. Cannataro, G. Spezzano, Domenico Talia		199011 BibTEX Refer
A Debugger for Communicating Scala Objects db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Andrew Bate, Gavin Lowe		201220 BibTEX Refer
A Denotational Study of Mobility db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Joël-Alexis Bialkiewicz, Frederic Peschanski		200923 BibTEX Refer
A Development Method Boosted by Synchronous Active Objects db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Claude Petitpierre		200316 BibTEX Refer
A distributed architecture for simulating microprocessor systems db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
I. Gorton		198711 BibTEX Refer
A Distributed I/O Communication Protocol for a Network of Transputers db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Runhe Huang, Mike Morgan		199511 BibTEX Refer
A Distributed Logic Programming Language and its Implementation on Transputer Networks db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
José A. Cardoso Cunha, Pedro A. Duarte Medeiros, Luis M. Pereira		199012 BibTEX Refer
A Distributed Multi-Agent Control System for Power Consumption in Buildings db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Anna Kosek, Oliver Gehrke		201216 BibTEX Refer
A Distributed Parallel Processing System for the StrongARM Microprocessor db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Brian C. O'Neill, G. C. Coulson, Adam K. L. Wong, R. Hotchkiss, J. H. Ng, S. Clark, P. D. Thomas, A. Cawley		199810 BibTEX Refer
A Distributed Real Time Java System Based on CSP db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Gerald H. Hilderink, Jan F. Broenink, André W. P. Bakkers		199914 BibTEX Refer
A Dynamic Switch for Transputer Links db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Jaap Hofstede, Andre Lensink		199011 BibTEX Refer
A fast C Kernel for Portable occam Compilers db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Barry M. Cook		199519 BibTEX Refer
A Fast Resolution of Choice between Multiway Synchronisations db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Peter H. Welch		20061 BibTEX Refer
A Fault-Tolerant On-board Computer for Space Applications db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Helano de Sousa Castro, João Reinaldo Imbiriba Jr, Jarbas Aryel N. Silveira, Valdivino Santiago, Antônio Miguel Vieira Monteiro		199812 BibTEX Refer
A Foreign Function Interface Generator for occam-pi db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Damian J. Dimmich, Christian L. Jacobsen		200514 BibTEX Refer
A formal top-down developement method for occam programs db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Donal Roantree, Maurice Clint		199025 BibTEX Refer
A general-purpose parallel programming environment db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Mark Debbage, Mark Hill, Denis A. Nicole		199110 BibTEX Refer
A Generally Configurable Multigrid Implementation for Transputer Networks db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Osama El-Giar, Tim Hopkins		19899 BibTEX Refer
A Graphical Modeling Language for Specifying Concurrency based on CSP db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Gerald H. Hilderink		200230 BibTEX Refer
A high level software and environment for transputer based systems db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Adrian J. West, Peter C. Capon		199011 BibTEX Refer
A High Performance Reconfigurable Architecture for Flash File Systems db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Irfan Mir, Alistair A. McEwan, Neil J. Perrins		201214 BibTEX Refer
A JCSP.net Implementation of a Massively Multiplayer Online Game db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Shyam Kumar, G. S. Stiles		200615 BibTEX Refer
A medium grained parallel computer for image processing db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
R. Cok		198812 BibTEX Refer
A method for monitoring occam internal channels db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
A. d'Acierno, Giuseppe de Pietro, Umberto Villano		19908 BibTEX Refer
A Model for Concurrency Using Single-Writer Single-Assignment Variables db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Matthew Huntbach		201118 BibTEX Refer
A multimodal robotic control law modelled and implemented by the CSP - GML/CT framework db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Gerald H. Hilderink, Dusko S. Jovanovic, Jan F. Broenink		200320 BibTEX Refer
A Multiprocessor OCCAM Development System for UNIX Network Clusters db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
D. G. Patrick, P. R. Green, T. A. York		19971 BibTEX Refer
A Native Transterpreter for the LEGO Mindstorms RCX db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Jonathan Simpson, Christian L. Jacobsen, Matthew C. Jadud		200710 BibTEX Refer
A new adaptive algorithm for the solution of systems of linear equations db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Rudnei Dias da Cunha, Tim Hopkins		199115 BibTEX Refer
A novel architecture for data-aquisition and on-line analysis in high-energy physiscs experimentation db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
J. C. Vermeulen, H. Boterenbrood, S. C. Goble, S. J. de Jong, G. N. M. Kieft, H. A. J. R. Uijterwall, L. W. Wiggers, A. J. de Waard		19897 BibTEX Refer
A Parallel Architecture for Efficient Clash Detection db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
A. Battersby, Janet Edwards		19948 BibTEX Refer
A parallel processing architecture for ODEs db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
J. M. Favre, C. S. Coray		198713 BibTEX Refer
A Parallel Programming Methodology Based on Paradigms db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Fethi A. Rabhi		199513 BibTEX Refer
A parallel semantic net engine and its application to data modeling db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Y. N. Lee		199012 BibTEX Refer
A PCI-based Network Interface Controller for IEEE 1355 DS-Links db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Marcel Boosten, R. W. Dobinson, B. Martin, P. D. V. van der Stok		199820 BibTEX Refer
A Personal Perspective on the State of HPC in 2013 db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Christopher C.R. Jones		20138 BibTEX Refer
A Plug-in Disk-Interface Process for the WSQL Data Access Controller db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
R. Kukla, Jon Kerridge		199614 BibTEX Refer
A Predicate Transformer Semantics for a Concurrent Language of Refinement db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Ana Cavalcanti, Jim Woodcock		200220 BibTEX Refer
A preprocessor to augment the description of occam processes for multitransputer machines db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Hiromi Ohara, Hajime Iizuka		198810 BibTEX Refer
A process migration harness for dynamic load balancing db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
S. A. Baker, K. R. Milner		199110 BibTEX Refer
A Process Oriented Approach to USB Driver Development db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Carl G. Ritson, Frederick R. M. Barnes		200716 BibTEX Refer
A Process-Oriented Architecture for Complex System Modelling db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Carl G. Ritson, Peter H. Welch		200718 BibTEX Refer
A Programming Language for Hardware/Software Co-Design db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
D. R. Watt, David May		200112 BibTEX Refer
A Proposal for an Operating System for a Multi-Processor StrongARM System db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
E. W. K. Liew, Brian C. O'Neill, Adam K. L. Wong, S. Clark, P. D. Thomas, R. Cant		199910 BibTEX Refer
A prototype simulator output movie system based on parallel processing technology db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
N. Carmichael, D. Hewson, J. van der Vorst		19887 BibTEX Refer
A real time prolog compiler for multi- transputer architectures for knowledge based systems applications db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
D. Bosley, J. Mortimer		198710 BibTEX Refer
A Reconfigurable Host Interconnection Scheme for Occam-Based Field Programmable Gate Arrays db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Roger M. A. Peel		200114 BibTEX Refer
A Reconfigurable System-on-Chip Architecture for Pico-Satellite Missions db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Tanya Vladimirova, Xiaofeng Wu		200710 BibTEX Refer
A Scalable Communication Network for a Parallel Database Machine db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
David Walter, Jon Kerridge		199116 BibTEX Refer
A Self-Configuring Distributed Kernel for Satellite Networks db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Scott Cannon, Larry Denys		200012 BibTEX Refer
A simple parallel algebraic multigrid db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Guy Robinson		199114 BibTEX Refer
A Single Chip Solution for Distributed Processing Systems db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Brian C. O'Neill, P.W. Moore, S. Clark		20038 BibTEX Refer
A Software Developement Environment for Parallel Image Processing: Implementation techniques and issues db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
D. Crookes, Philip J. Morrow, I. McClatchey, T. Rafferty		19917 BibTEX Refer
A Software Development Tool for Parallel and Distributed Systems db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
R. D. Stone, D. R. Morse		199614 BibTEX Refer
A state-of-the-art radar pulse deiterleaver db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
S. P. Turner, Rick D. Beton, C. Upstill		19888 BibTEX Refer
A Step Towards Refining and Translating B Control Annotations to Handel-C db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Wilson Ifill, Steve Schneider		200726 BibTEX Refer
A structural dynamics problem on a network of transputers db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
A. Cosnuau		198925 BibTEX Refer
A Study Into the Modelling and Analysis of Real-Time FPGA Based Systems db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Irfan Mir		20091 BibTEX Refer
A Study of Percolation Phenomena in Process Networks db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Oliver Faust, Bernhard H.C. Sputh, Alastair R. Allen		200613 BibTEX Refer
A System Configuration for very large Database Problems [Extended Abstract] db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Alan G. Chalmers, Derek J. Paddon		19894 BibTEX Refer
A Systems Re-engineering Case Study: Programming Robots with occam and Handel-C db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Dan Slipper, Alistair A. McEwan		201111 BibTEX Refer
A talking bee on the transputer db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
D. Ellison, L. Natanson		198814 BibTEX Refer
A Technique for Checking the CSP sat Property db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Jeremy M. R. Martin, S. A. Jassim		199818 BibTEX Refer
A Technique for Fast Pre-emptions in a Multi-Priority Environment db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
K. M. Shea, M. H. Cheung, Francis C. M. Lau		199312 BibTEX Refer
A tool for optimisation of program execution in dynamic topology systems db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Tomasz Kalinowski		199711 BibTEX Refer
A Tool for Proving Deadlock Freedom db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Jeremy M. R. Martin, S. A. Jassim		199716 BibTEX Refer
A transform accelerator for a transputer system db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
C. J. Dodge, P. G. B. Ross, P. E. Undrill, Alastair R. Allen		199215 BibTEX Refer
A transputer based active vision system db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Andrew B. Smith, Peter H. Welch		199210 BibTEX Refer
A transputer based neurocomputer db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
A. Johannet, G. Loheac, L. Personnaz, I. Guyon, G. Dreyfus		19878 BibTEX Refer
A transputer based visual system db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
A. A. J. Langenkamp, P. M. Elgershuizen, W. Huiskamp, P. L. J. van Lieshout		198911 BibTEX Refer
A transputer implementation of a runtime timing constraint-monitor db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Fergus E. Fletcher		199515 BibTEX Refer
A transputer network simulator db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Y. Kermarrec, R. Rannou		198716 BibTEX Refer
A transputer-based accelerator for digital circuits fault simulation db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
G. P. Balboni, G. P. Cabodi, S. Gai, M. Sonza Reorda		19927 BibTEX Refer
A transputer-based architecture for graphics db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
M. Meriaux, A. Atamenia, E. Lepretre		198710 BibTEX Refer
A Transputer-Based Prolog Distributed Processor db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
L. Aroujo, J. J. Ruz		199415 BibTEX Refer
A Transputer-based Workstation Accelerator for Optimisation Algorithms db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
F. W. D. Woodhams, W. L. Price		19906 BibTEX Refer
A Unifying Theory of True Concurrency Based on CSP and Lazy Observation db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Marc L. Smith		200512 BibTEX Refer
A Versatile Hardware-Software Platform for In-Situ Monitoring Systems db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Bernhard H.C. Sputh, Oliver Faust, Alastair R. Allen		200714 BibTEX Refer
abstracts data types and occam db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Jon Kerridge, Sue Wright, Richard J. Oates		198917 BibTEX Refer
Acceptances, Behaviours and Infinite Activity in CSPP db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Adrian E. Lawrence		200222 BibTEX Refer
Accurate Calculation of Deme Sizes for a Parallel Genetic Scheduling Algorithm db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
M. Moore		20039 BibTEX Refer
Active Serial Port: A Component for JCSPNet Embedded Systems db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Sarah Clayton, Jon Kerridge		200414 BibTEX Refer
Adapted OS Link / DS Link Protocols for Use in Mutliprocessor Routing Networks db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
S. Triger, Brian C. O'Neill, S. Clark		200112 BibTEX Refer
Adaptive routing techniques in simulated computer networks db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
M. C. Bowler, M. J. Morse, N. Frydas		198810 BibTEX Refer
Adding Formal Verification to occam-π db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Peter H. Welch, Jan Bækgaard Pedersen, Frederick R. M. Barnes, Carl G. Ritson, Neil C.C. Brown		20111 BibTEX Refer
Adding Mobility to Networked Channel-Types db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Mario Schweigler		200420 BibTEX Refer
Advanced Silicon Prototyping in a Reconfigurable Environment db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Matt Aubury, Ian Page, Dominic Plunkett, Matthias Sauer, Jonathan Saul		199812 BibTEX Refer
Advanced System Simulation, Emulation and Test (ASSET) db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Gregory Wickstrom		200722 BibTEX Refer
Agents for Concurrent Programming db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Enrique Gonzalez, Cesar Bustacara, Jamir Avila		200310 BibTEX Refer
Algebras of Actions in Concurrent Processes db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Mark Burgin, Marc L. Smith		20072 BibTEX Refer
Am interactive graphical debugger for occam programs db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
N. Abdennadher, J. C. Angue		19908 BibTEX Refer
An A/D D/A board using IEEE-1355 DS-Links for Heterogeneous Multiprocessor Environment db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
O. J. Greve, M. H. Schwirtz, Gerald H. Hilderink, Jan F. Broenink, André W. P. Bakkers		199812 BibTEX Refer
An Algorithm for Caching Software to Configurable Hardware db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
J. D. Campbell		199910 BibTEX Refer
An analysis and reconfiguration tool for mapping parallel programs onto transputer networks db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
D. Ch. Meier, A. Wespi, J. E. Boillat, P. G. Kropf		19879 BibTEX Refer
An Application of CoSMoS Design Methods to Pedestrian Simulation db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Sarah Clayton, Neil Urquhart, Jon Kerridge		20098 BibTEX Refer
An application of ultrasonic signal processing in a mixed system of transputers and digital signal processors db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Alastair R. Allen, Dalan Wang		19904 BibTEX Refer
An Appreciation of the Subtleties of Shared Channels in occam3 db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
S. W. Waithe, Jon Kerridge		199314 BibTEX Refer
An assessment of the use of occam for dependable real-time systems db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
A. Burns, A. J. Wellings, Hussein S. M. Zedan		19908 BibTEX Refer
An Automatic Translation of CSP to Handel-C db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Jonathan D. Phillips, G. S. Stiles		200420 BibTEX Refer
An efficient global convergence detection scheme for parallel algorithms on transputer network db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
K. G. Kumar, A. Basu, S. Srinivas, A. Paulraj		199012 BibTEX Refer
An efficient multi- priority scheduler for the transputer db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
K. M. Shea, M. H. Cheung, Francis C. M. Lau		199215 BibTEX Refer
An environment for investigating the effectiveness of process migration strategies on transputer-based machines db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Joe Philips, Rosemary Candlin		199211 BibTEX Refer
An environment for transputer CPU load measurements db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Giuseppe de Pietro, Umberto Villano		19909 BibTEX Refer
An Evaluation of Intel's Restricted Transactional Memory for CPAs db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Carl G. Ritson, Frederick R. M. Barnes		201322 BibTEX Refer
An Evaluation of Inter-Switch Connections db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Hans Henrik Happe, Brian Vinter		200410 BibTEX Refer
An Execution Harness for Transputer Based Embedded Systems db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
P. Burgess, M. J. Livesey, C. Allison		199316 BibTEX Refer
An Experiment with Recursion in occam db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
David C. Wood		200012 BibTEX Refer
An Extended Version of Linda for Transputer Systems db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Peter Clayton, George Wells, Alan G. Chalmers		19968 BibTEX Refer
An extension of the processor farm using a tree architecture db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
S. A. Green, Derek J. Paddon		198818 BibTEX Refer
An Introduction to CSP.NET db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Alex Lehmberg, Martin N. Olsen		200618 BibTEX Refer
An Introduction to Go db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Rick D. Beton		20132 BibTEX Refer
An Introduction to the Kent C++CSP Library db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Neil C.C. Brown, Peter H. Welch		200318 BibTEX Refer
An Investigation into Distributed Channel Mobility Support for Communicating Process Architectures db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Kevin Chalmers, Jon Kerridge		200919 BibTEX Refer
An investigation of several parallel genetic algorithms db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Donald Macfarlane, Ian R. East		19908 BibTEX Refer
An Irregular Distributed Simulation Problem with a Dynamic Logical Process Structure db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Ming Q. Xu, Stephen J. Turner, Nie Pin		198911 BibTEX Refer
An MSDOS Based Graphics Library for PC Hosted Transputer Systems db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
A. Battersby, Ian P. W. Sillitoe, Janet Edwards		199411 BibTEX Refer
An Object Oriented Style for the Computing Surface db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Matthew Chalmers		19899 BibTEX Refer
An occam architecture for reconfigurable systems db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
M. H. Barton, N. J. Edwards		198715 BibTEX Refer
An occam Model of XCHANs db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Peter H. Welch		20132 BibTEX Refer
An occam-2 implementation of higher-level network protocols: A case study in interfacing a multi-user multi-transputer system to a local area network db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Mark Heaps		198913 BibTEX Refer
An OCCAM@ implementation of prolog and its preliminary performance db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Kang Zhang		198814 BibTEX Refer
An Open Systems Strategy for Distributed occam Execution db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Paul Singleton, Barry M. Cook		199716 BibTEX Refer
An operating environment for control systems db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
K. C. J. Wijbrans, H. G. Tillema, André W. P. Bakkers, Albert L. Schoute		199012 BibTEX Refer
An operational pattern recognition system on transputers db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
E. Buitenwerf, J. R. van Dam, L. J. M. Nieuwenhuis		19899 BibTEX Refer
An Optimised Parallel Compiler for Executing Declarative Programs on Transputer Array db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Wang Dingxing, Tian Xinmin, Zheng Weimin, Shen Meiming, Wen Dongchan		199215 BibTEX Refer
An Overview of ASD - Formal Methods in Daily Use db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Guy Broadfoot		20091 BibTEX Refer
Analysing gCSP Models Using Runtime and Model Analysis Algorithms db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Maarten M. Bezemer, Marcel A. Groothuis, Jan F. Broenink		200922 BibTEX Refer
ANDES: A Performance Analyzer for Parallel Programs db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
O. Naim, A. Teruel		19939 BibTEX Refer
Another Side of SPoC: occam's ALTer Ego Dissected with PC-lint db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Øyvind Teig		199918 BibTEX Refer
Applicability of a 16-node transputer array without external memory db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Patrick van Renterghem		19898 BibTEX Refer
Application of occam to biological sequence comparisons db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Shane S. Sturrock, Ian Salmon		199110 BibTEX Refer
Application of Transputer-based Parallel Computation in Matching Real-Time Control Models db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Tushar K. Hazra		199516 BibTEX Refer
Architecture Design Space Exploration for Streaming Applications through Timing Analysis db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Maarten H. Wiggers, Nikolay Kavaldjiev, Gerard J. M. Smit, Pierre G. Jansen		200515 BibTEX Refer
Aspects of database machine design using the H1, C104 and Occam91 db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Jon Kerridge, Richard J. Oates		199115 BibTEX Refer
Assessing Application Performance in Degraded Network Environments: an FPGA-based Approach db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Mihai Ivanovici, Razvan Beuran, Neil Davies		200511 BibTEX Refer
Asynchronous Active Objects in Java db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
George Oprean, Jan Bækgaard Pedersen		200818 BibTEX Refer
Attribute Evaluation on a Network of Transputers db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Matthijs F. Kuiper, Atze Dijkstra		19898 BibTEX Refer
Auto-Mobiles: Optimised Message-Passing db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Neil C.C. Brown		200914 BibTEX Refer
Automatic Conversion of CSP to CTJ, JCSP, and CCSP db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
V. Raju, L. Rong, G. S. Stiles		200319 BibTEX Refer
Automatic Design and Implementation of Microprocessors db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Ian Page		199415 BibTEX Refer
Automatic Handel-C Generation from MATLAB® and Simulink® for Motion Control with an FPGA db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Bart Rem, Ajeesh Gopalakrishnan, Tom J. H. Geelen, Herman Roebbers		200527 BibTEX Refer
Beauty And The Beast: Exploiting GPUs In Haskell db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Alex Cole, Alistair A. McEwan, Geoff Mainland		201214 BibTEX Refer
Beyond Mobility - What Next After CSP/pi? db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Michael Goldsmith		20096 BibTEX Refer
Beyond transputing : fully distributed semantics in Virtuoso's Virtual Single Processor programming model and it's implementation on of-the-shelf parallel DSPs. db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Eric Verhulst		199710 BibTEX Refer
BIONIVISION A laserscanner with transputers db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
G. ter Reehorst, K. C. J. Wijbrans		19899 BibTEX Refer
Blocking System Calls in KRoC/Linux db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Frederick R. M. Barnes		200024 BibTEX Refer
BPU Simulator db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Martin Rehr, Kenneth Skovhede, Brian Vinter		201316 BibTEX Refer
Broadcast communication in fault tolerant multicomputer systems db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
K. Gresser		19907 BibTEX Refer
BSP Modelling of Two Tiered Architectures db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Jeremy M. R. Martin, Alex V. Tiskin		199910 BibTEX Refer
C++CSP Networked db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Neil C.C. Brown		200416 BibTEX Refer
C++CSP2: A Many-to-Many Threading db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Neil C.C. Brown		200724 BibTEX Refer
Cache-Affinity Scheduling for Fine Grain Multithreading db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Kurt Debattista, Kevin Vella, Joseph Cordina		200212 BibTEX Refer
Cancellable Servers - a Pattern for Curiousity db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Peter H. Welch		20121 BibTEX Refer
Cayley graphs and transputer network configuration db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Ian R. East, Sabah Jassim		19907 BibTEX Refer
CCDM -- A Design Methodology for Modelling Communicating Code in Parallel Systems db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
E. A. Cachia, Gordon A. Manson		199315 BibTEX Refer
CCSP - A Portable CSP-Based Run-Time System Supporting C and occam db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
James Moores		199923 BibTEX Refer
CDL -- A distribution language for HELIOS db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
C. H. R. Grimsdale		19886 BibTEX Refer
Cellular automaton lattice gas hydrodynamics on a parallel supercomputer db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
B. J. N. Wylie		198810 BibTEX Refer
Chaining Communications Algorithms with CSP db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Oliver Faust, Bernhard H.C. Sputh, David Endler		200414 BibTEX Refer
CHANnels to Deliver Memory? MOBILE Structures and ALTing over Memory? db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Øyvind Teig		20014 BibTEX Refer
Classification of Programming Errors in Parallel Message Passing Systems db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Jan Bækgaard Pedersen		200614 BibTEX Refer
Clocks db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Adam T. Sampson, Neil C.C. Brown		20091 BibTEX Refer
Cluster Computing and JCSP Networking db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Peter H. Welch, Brian Vinter		200220 BibTEX Refer
Combining configuration and allocation db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Dong-Hui Du, Guy Vidal-Naquet		199010 BibTEX Refer
Combining EDF Scheduling with occam using the Toc Programming Language db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Martin Korsgaard, Sverre Hendseth		200812 BibTEX Refer
Combining Partial Order Reduction with Bounded Model Checking db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
José Vander Meulen, Charles Pecheur		200920 BibTEX Refer
Commodity High Performance Computing at Commodity Prices db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Simon J. Cox, Denis A. Nicole, Kenji Takeda		19988 BibTEX Refer
Communicating Haskell Processes: Composable Explicit Concurrency Using Monads db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Neil C.C. Brown		200817 BibTEX Refer
Communicating Java Threads db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Gerald H. Hilderink, Jan F. Broenink, Wiek Vervoort, André W. P. Bakkers		199729 BibTEX Refer
Communicating Java Threads Reference Manual db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Gerald H. Hilderink		199743 BibTEX Refer
Communicating Mobile Processes db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Frederick R. M. Barnes, Peter H. Welch		200418 BibTEX Refer
Communicating Process Architecture for Multicores db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
David May		200712 BibTEX Refer
Communicating Scala Objects db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Bernard Sufrin		200820 BibTEX Refer
Communicating Threads for Java db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Jan F. Broenink, André W. P. Bakkers, Gerald H. Hilderink		199920 BibTEX Refer
Communication and Synchronisation in the Cell Processor db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
H. Peter Hofstee		20051 BibTEX Refer
Compile-Time Techniques for Mapping Loop Parallelism db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
R. Sakellariou		19978 BibTEX Refer
Compiling CSP db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Frederick R. M. Barnes		200612 BibTEX Refer
Compiling occam to C with Tock db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Adam T. Sampson		20072 BibTEX Refer
Components with Symbolic Transition Systems: a Java Implementation of Rendezvous db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Fabricio Fernandes, Robin Passama, Jean-Claude Royer		200720 BibTEX Refer
Compositions of Concurrent Processes db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Mark Burgin, Marc L. Smith		200616 BibTEX Refer
Computational statistics on a multi-transputer architecture db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
D. Lafaye de Micheaux, A. Maurin		198726 BibTEX Refer
Concurrency Control and Recovery Management for Open e-Business Transactions db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Amir R. Razavi, Sotiris K. Moschoyiannis, Paul J. Krause		200720 BibTEX Refer
Concurrency First (but we'd better get it right!) db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Peter H. Welch		20091 BibTEX Refer
Concurrency in database management systems design and implementation db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
M. E. C. Hull, F. J. Bell		198824 BibTEX Refer
Concurrency in Industry (Wot, no CSPs?) db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Johan P. E. Sunter		20001 BibTEX Refer
Concurrent Event-driven Programming in occam-π for the Arduino db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Christian L. Jacobsen, Matthew C. Jadud, Omer Kilic, Adam T. Sampson		201117 BibTEX Refer
Concurrent/Reactive System Design with Honeysuckle db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Ian R. East		200710 BibTEX Refer
Conditional Communication in the Presence of Priority db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Gerald H. Hilderink, Jan F. Broenink		200022 BibTEX Refer
Configurable Collective Communication in LAM-MPI db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
John Markus Bjørndalen, Otto J. Anshus, Tore Aarsen, Brian Vinter		200212 BibTEX Refer
Configuration Discovery and Mapping of a Home Network db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Keith Pugh		200212 BibTEX Refer
Configuration tools for a transputer workstation db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Peter R. Croll, Gordon A. Manson		198913 BibTEX Refer
Conflict Free Hardware Routing for Communication Bound Applications db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
M. P. Craven, K. M. Curtis, S. A. Wilde, Brian C. O'Neill, J. W. Ellis		199614 BibTEX Refer
CONPASU-tool: A Concurrent Process Analysis Support Tool based on Symbolic Computation db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Yoshinao Isobe		201122 BibTEX Refer
Consolidating The Agreement Problem Protocol Verification Environment db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
James S. Pascoe, Roger J. Loader		200222 BibTEX Refer
Control of a servo loop for a vision system db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Tonny Stavenuiter, Herman Roebbers		199013 BibTEX Refer
Cooperative priority scheduling in occam db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Johan P. E. Sunter, K. C. J. Wijbrans, André W. P. Bakkers		199011 BibTEX Refer
Copying, Moving and Borrowing Semantics db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
David May, Henk Muller		200112 BibTEX Refer
Costing by Construction db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Greg Michaelson		20132 BibTEX Refer
CPA Survival Guide db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Herman Roebbers		20091 BibTEX Refer
CS-Prolog -- Parallel programming in logic with transputers db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Steffen Schulze-Kremer		199014 BibTEX Refer
CSP and Real-Time: Reality or Illusion? db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Bojan Orlic, Jan F. Broenink		200730 BibTEX Refer
CSP as a Domain-Specific Language Embedded in Python and Jython db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Sarah Mount, Mohammad Hammoudeh, Sam Wilson, Robert Newman		200917 BibTEX Refer
CSP Design Model and Tool Support db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
H. J. Volkerink, Gerald H. Hilderink, Jan F. Broenink, W.A. Veroort, André W. P. Bakkers		200016 BibTEX Refer
CSP for .NET Based on JCSP db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Kevin Chalmers, Sarah Clayton		200618 BibTEX Refer
CSP for Java: Multithreading for All db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
André W. P. Bakkers, G. S. Stiles, Peter H. Welch, Gerald H. Hilderink		19993 BibTEX Refer
CSP++: How Faithful to CSPm? db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
W. B. Gardner		200518 BibTEX Refer
CSP/occam on Shared Memory Multiprocessor Workstations db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Kevin Vella, Peter H. Welch		199934 BibTEX Refer
CSP: Arriving at the CHANnel Island (an Industrial Practitioner's Diary: in Search of a New Fairway) db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Øyvind Teig		200012 BibTEX Refer
CSP: The Best Concurrent-System Description Language in the World - Probably! db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Michael Goldsmith		20046 BibTEX Refer
CSPBuilder - CSP based Scientific Workflow Modeling db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Rune Møllegard Friborg, Brian Vinter		200817 BibTEX Refer
CSPP and Event Priority db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Adrian E. Lawrence		200126 BibTEX Refer
C_NET A C++ Based Language For Distributed And Real Time Programming db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Jean_Marc Adamo		198912 BibTEX Refer
Data Escape Analysis for Process Oriented Systems db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Martin Ellis, Frederick R. M. Barnes		20122 BibTEX Refer
Data Mining in Parallel db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Sarabjot S. Anand, C. Mary Shapcott, David A. Bell, John G. Hughes		199512 BibTEX Refer
Data structures for parallel architectures in artificial intelligence db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
A. Dixon		198713 BibTEX Refer
Data-Strobe Links and Virtual Channel Processors db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Barry M. Cook		199714 BibTEX Refer
Debugging and Verification of Parallel Systems - the picoChip Way db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Andrew Duller, Gajinder Panesar, Daniel Towner		200414 BibTEX Refer
Dedicated Multi-Priority Scheduling db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
E. Ploeg, Johan P. E. Sunter, André W. P. Bakkers, Herman Roebbers		199414 BibTEX Refer
Demonstration of the LUNA Framework db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Robert J.W. Wilterdink, Maarten M. Bezemer, Jan F. Broenink		20111 BibTEX Refer
Design and Implementation of Complex Telecom Processes using State Machine Concepts db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
V. Matic		19968 BibTEX Refer
Design and Monitoring Systems for Parallel Programming db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Alexander J. Katalov, Vladimir J. Katalov, Vladimir K. Nikolaev		199828 BibTEX Refer
Design and Use of CSP Meta-Model for Embedded Control Software Development db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Maarten M. Bezemer, Robert J.W. Wilterdink, Jan F. Broenink		201216 BibTEX Refer
Design of a High Performance Protocol Analysis system using transputers db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Sarvajna Kazi, Robert D. Hockman		199010 BibTEX Refer
Design of a real-time operating system (RTOS) for robot control db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
André W. P. Bakkers, R. Van Rooij, L. James		198710 BibTEX Refer
Design of a Transputer Core and Implementation in an FPGA db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Makoto Tanaka, Naoya Fukuchi, Yutaka Ooki, Chikara Fukunaga		200412 BibTEX Refer
Design Patterns for Communicating Systems with Deadline Propagation db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Martin Korsgaard, Sverre Hendseth		200913 BibTEX Refer
Design Principles of the SystemCSP Software Framework db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Bojan Orlic, Jan F. Broenink		200722 BibTEX Refer
Designing a Concurrent File Server db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
James Whitehead		201214 BibTEX Refer
Designing a Mathematically Verified I2C Device Driver using ASD db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Arjen Klomp, Herman Roebbers, Ruud Derwig, Leon Bouwmeester		200912 BibTEX Refer
Designing Animation Facilities for gCSP db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Hans T.J. van der Steen, Marcel A. Groothuis, Jan F. Broenink		20081 BibTEX Refer
Designing with Software Defined Silicon db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
A. Dixon		20081 BibTEX Refer
Deterministic Message Routing for Safety-Critical Applications db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Peter R. Croll		199113 BibTEX Refer
Developement methods and occam db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
David M. Gee, Barry P. Worrall, W. D. Henderson		199112 BibTEX Refer
Developing an optimising compiler for occam db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Spiridon Kalogeropoulos		199810 BibTEX Refer
Developing Embedded Appliations in an Array of Specialised Transputer Modules db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
R. Storer, D. J. Milford, E. L. Dagless, J. A. Bulas~Cruz		199415 BibTEX Refer
Developing JIWY using TERRA db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Maarten M. Bezemer, Robert J.W. Wilterdink, Jan F. Broenink		20121 BibTEX Refer
Development of a Family of Multi-Core Devices Using Hierarchical Abstraction db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Andrew Duller, Alan Gray, Daniel Towner, Jamie Iles, Gajinder Panesar, Will Robbins		200714 BibTEX Refer
Development of an ML based Verification Tool for Timed CSP Processes db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Takeshi Yamakawa, Tsuneki Ohashi, Chikara Fukunaga		201113 BibTEX Refer
Diffusion limited aggregation: An example of real-time parallelisation db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
D. R. Morse, A. M. Welch, Peter H. Welch		199014 BibTEX Refer
Discrete event simulation using occam db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Christopher H. Nevison		19899 BibTEX Refer
Distributed Computing using Channel Communications in Java db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Andreas Ripke, Alastair R. Allen, Y. Feng		200014 BibTEX Refer
Distributed Monte Carlo Techniques for Interactive Photo-Realistic Image Synthesis db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Jonathan Tidmus, Alan G. Chalmers, Roger Miles		19949 BibTEX Refer
Distributed Shared Memory in Global Area Networks db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Hans Henrik Happe, Brian Vinter		200314 BibTEX Refer
Distributing Concurrent Simulation db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Adam T. Sampson		20111 BibTEX Refer
Distributing matrix eigenvalue calculations over transputer arrays db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Tim Hopkins, Barry Vowden		19908 BibTEX Refer
Domain Specific Transformations for Hardware Ray Tracing db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Tim Todman, Wayne Luk		200714 BibTEX Refer
DRAT -- A proposal for a dynamic reconfigurable array of transputers to support database applications db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Jon Kerridge		198711 BibTEX Refer
Dynamic Allocation of Prcesses and Channels in T9000/C104 Networks Using occam 3 db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Jon Kerridge		199417 BibTEX Refer
Dynamic BSP: Towards a Flexible Approach to Parallel Computing over the Grid db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Jeremy M. R. Martin, Alex V. Tiskin		20048 BibTEX Refer
Dynamic Creation of Virtual Links within T9000 Networks db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
S. R. Harrison, Chris R. Brown		199610 BibTEX Refer
Dynamic Process Interaction db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Lajos Schrettner, Innes Jelly		199713 BibTEX Refer
Dynamic processes in occam db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
I. A. Horton, Stephen J. Turner		198812 BibTEX Refer
Dynamic Real-Time Scheduling for a Parallel Production System on an Enhanced Transputer Array db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
P. W. A. Stallard, R. W. Dunn, A. R. Daniels		199314 BibTEX Refer
Dynamicity through Occam and TDS db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
D. Millot, J. Vautherin		19899 BibTEX Refer
Economics of Cloud Computing: a Statistical Genetics Case Study db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Jeremy M. R. Martin, Steven J. Barrett, Simon J. Thornber, Silviu-Alin Bacanu, Dale Dunlap, Steve Weston		200911 BibTEX Refer
Efficiency Measurements in Heterogeneous Transputer Systems db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
A. Mazzeo, N. Mazzocca, Umberto Villano		199410 BibTEX Refer
Efficient Execution of Process Networks db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
T. Basten, J. Hoogerbrugge		200114 BibTEX Refer
Efficient Simulation of CSP-Like Languages db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Thomas Gibson-Robinson		201320 BibTEX Refer
Emulating a Secure Multicasting Bus using occam 2.1 db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
David J. Beckett, Peter H. Welch		199616 BibTEX Refer
Engineering Emergence: an occam-pi Adventure db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Peter H. Welch, Kurt Wallnau, Mark Klein		20091 BibTEX Refer
Evaluating An Emergent Behaviour Algorithm for Energy Conservation in Lighting Systems Using JCSP db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Anna Kosek, Aly Syed, Jon Kerridge		201114 BibTEX Refer
Evaluation of a set of message- passing routines on transputer networks db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Wentong Cai, David B. Skillicorn		199213 BibTEX Refer
Evaluation of two systems for distributed message passing in transputer networks db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
N. N. Avramov, A. E. Knowles		199013 BibTEX Refer
Event-Based Design of Concurrent Programs with Java Implementation db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
H. Rischel, H. Sun		200112 BibTEX Refer
Exception Handling and Checkpointing in CSP db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Mads Ohm Larsen, Brian Vinter		201212 BibTEX Refer
Exception Handling Mechanism in Communicating Threads for Java db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Gerald H. Hilderink		200518 BibTEX Refer
Expanding the Message Passing Library Model with Nested Parallelism db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
C. Rodriguez, F. Sande, C. León, F. Garcia		19978 BibTEX Refer
Experimental studies of conservative distributed discrete-event simulation on transputer networks db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
W. Cal, Stephen J. Turner		199010 BibTEX Refer
Experiments in algorithmic parallelism db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Peter C. Capon		198914 BibTEX Refer
Experiments in Multicore and Distributed Parallel Processing using JCSP db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Jon Kerridge		201112 BibTEX Refer
Experiments in Translating CSP||B to Handel-C db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Steve Schneider, Helen Treharne, Alistair A. McEwan, Wilson Ifill		200819 BibTEX Refer
Experiments with a transputer-based diffusion architecture db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
D. McBurney, M. R. Sleep		198712 BibTEX Refer
Exploring GPGPU Acceleration of Process-Oriented Simulations db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Frederick R. M. Barnes, Thomas Pressnell, Brendan Le Foll		201314 BibTEX Refer
Exploring Peer-to-Peer Virtualized Multithreaded Services db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Kevin Vella		20111 BibTEX Refer
Extended Transputer Code -- a Target-Independent Representation of Parallel Programs db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Michael D. Poole		199812 BibTEX Refer
Extending CSP db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Adrian E. Lawrence		199822 BibTEX Refer
Extending CSP with Tests for Availability db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Gavin Lowe		200923 BibTEX Refer
Farming: Towards a rigorous definition and efficient transputer implementation db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Warren Day		199214 BibTEX Refer
Fast Data Sharing within a Distributed, Multithreaded Control Framework for Robot Teams db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Albert L. Schoute, Remco Seesink, Werner Dierssen, Niek Kooij		20058 BibTEX Refer
Fast Distributed Process Creation with the XMOS XS1 Architecture db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
James Hanlon, Simon J. Hollis		201113 BibTEX Refer
Fast fourier transform on transputers db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Aman Khan, Nelson Stephens		19919 BibTEX Refer
Fast prototyping of architectural designs using transputers db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
David B. Skillicorn		19884 BibTEX Refer
Fault tolerant computing with transputers and occam db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
L. J. M. Nieuwenhuis, G. D. Blom		199011 BibTEX Refer
FDR3: the Future of CSP Model Checking db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Thomas Gibson-Robinson		20132 BibTEX Refer
Fine Grain Parallel Processing on Commodity Platforms db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
R. W. Dobinson, P. D. V. van der Stok, Marcel Boosten		199914 BibTEX Refer
Fine-grain Concurrency db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Tony Hoare		200720 BibTEX Refer
Fine-grained global control constructs for parallel programming environments db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Marek Tudruj		199715 BibTEX Refer
Finitary Refinement Checks for Infinitary Specifications db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
A. W. Roscoe		200418 BibTEX Refer
Flexible, Transparent and Dynamic occam Networking With KRoC.net db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Mario Schweigler, Frederick R. M. Barnes, Peter H. Welch		200326 BibTEX Refer
Focussing on Traces to Link VCR and CSP db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Marc L. Smith		20048 BibTEX Refer
Formal Analysis of Concurrent Java Systems db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Peter H. Welch, Jeremy M. R. Martin		200027 BibTEX Refer
Formal Analysis of Concurrent OS (RMoX) Device Drivers db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Martin Ellis		20111 BibTEX Refer
Formal Contracts: Enabling Component Composition db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Marcel Boosten		200313 BibTEX Refer
Formal methods in the design of the T9000 db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Geoff Barrett, David May, D. Shepard		199218 BibTEX Refer
FPGA Based Control of a Production Cell System db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Marcel A. Groothuis, Jasper J.P. Van Zuijlen, Jan F. Broenink		200814 BibTEX Refer
From Object Oriented Analysis to Implementation using occam db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Rick D. Beton		199614 BibTEX Refer
From Safe Concurrent Processes to Process-Classes? PLUSSING New Code by ROLLING out and Compile? db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Øyvind Teig		200122 BibTEX Refer
Gaussian Pyramidal Fast Filtering and Parallel Implementation db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
N. Tonfack E. Leclercq, A. Faure		199616 BibTEX Refer
gCSP occam Code Generation for RMoX db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Marcel A. Groothuis, Geert K. Liet, Jan F. Broenink		20059 BibTEX Refer
GECKO: A graphical tool for the modelling and manipulation of occam software and transputer hardware topologies db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Marc Stephenson, Olivier Boudillet		19886 BibTEX Refer
General purpose parallel computers: a standard architecture with a standard programming interface db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Geoff Barrett, Eric Barton, Trevor Carden, Dominique Duval, Denis A. Nicole		199210 BibTEX Refer
Global Time Measurements in Transputer Networks db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Giuseppe de Pietro, Umberto Villano		199314 BibTEX Refer
Globally-Connected Fault-Tolerant Systems db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Peter Thompson		199314 BibTEX Refer
Graceful termination -- graceful resetting db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Peter H. Welch		19898 BibTEX Refer
GRAIL -- Graphical representation of activity, interconnection and loading db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
S. Stepney, GRAIL		19879 BibTEX Refer
Graphical Tool for Designing CSP Systems db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Jan F. Broenink, Dusko S. Jovanovic		200420 BibTEX Refer
Groovy Parallel! A Return to the Spirit of occam? db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Jon Kerridge, Ken Barclay, John Savage		200516 BibTEX Refer
Guarenteed Message Delivery Time on Real-Time Distributed Systems db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
T. -Y. Yang, G. S. Stiles		200118 BibTEX Refer
Guppy db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Frederick R. M. Barnes		20111 BibTEX Refer
Handel-C Source Level Debugging db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Herman Roebbers		20081 BibTEX Refer
Handel-C++ - Adding Syntactic Support to C++ db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Alex Cole		20121 BibTEX Refer
Handshake Technology: High Way to Low Power db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Ad Peeters		20051 BibTEX Refer
Hard and Soft Priority in CSP db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Adrian E. Lawrence		199929 BibTEX Refer
Hardware for Transputing without Transputers db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
C. P. H. Walker		199610 BibTEX Refer
Hardware/Software Co-Design Language Development, An EngD Introduction db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Alex Cole		20091 BibTEX Refer
Hardware/Software Synthesis and Verification Using Esterel db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Satnam Singh		20078 BibTEX Refer
HCSP: Extending CSP for Codesign and Shared Memory db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Adrian E. Lawrence		199824 BibTEX Refer
HCSP: Imperative State and True Concurrency db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Adrian E. Lawrence		200218 BibTEX Refer
HELIOS -- An operating system for the transputer db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
N. H. Garnett		19879 BibTEX Refer
High Cohesion and Low Coupling: the Office Mapping Factor db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Øyvind Teig		200710 BibTEX Refer
High Level Modeling of Channel-Based Asynchronous Circuits Using Verilog db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Arash Saifhashemi, Peter A. Beerel		200514 BibTEX Refer
High performance event and I/O handling on the transputer db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
R. G. Harley, D. C. Levy, A. W. M. Hemme, M. R. Webster		199010 BibTEX Refer
Higher Levels of Process Synchronisation db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Peter H. Welch, David C. Wood		199726 BibTEX Refer
Higher-Order Concurrency in Java db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Erik D. Demaine		199714 BibTEX Refer
Highly transparent monitoring of parallel systems using "logical clocks" db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Wentong Cai, Stephen J. Turner		198912 BibTEX Refer
Homogeneous Multiprocessing for Consumer Electronics db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Paul Stravers		20051 BibTEX Refer
Host-independent access to transputers db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Roger M. A. Peel		19906 BibTEX Refer
How to achieve replication within a CASE tool environment db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Gordon A. Manson, E. A. Cachia, A. Boyle		199213 BibTEX Refer
How to Design Deadlock-Free Networks Using CSP and Verification Tools -- A Tutorial Introduction db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Jeremy M. R. Martin, S. A. Jassim		199713 BibTEX Refer
How to Make a Process Invisible db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Neil C.C. Brown		20081 BibTEX Refer
How to Soar with CSP db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Colin O'Halloran		20081 BibTEX Refer
How To Write a Highly Parallel Program db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Geoff Barrett		19939 BibTEX Refer
HW/SW Design Space Exploration on the Production Cell Setup db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Marcel A. Groothuis, Jan F. Broenink		200916 BibTEX Refer
Hydra: A Python Framework for Parallel Computing db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Waide B. Tristram, Karen Bradshaw		200914 BibTEX Refer
IC2IC: a Lightweight Serial Interconnect Channel for Multiprocessor Networks db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Oliver Faust, Bernhard H.C. Sputh, Alastair R. Allen		200817 BibTEX Refer
ICR: A Transputer-Based Intelligent Character Reader db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Francis Wong F.S., Koh Liang Seng		19898 BibTEX Refer
IEEE 1355 DS-Links: Present Status and Future Prospects db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
C. R. Anderson, Marcel Boosten, R. W. Dobinson, S. Haas, R. Heeley, N. A. H. Madsen, B. Martin, J. Pech, D. A. Thornley, C. L. Ullod		199812 BibTEX Refer
If Concurrency in Software is So Simple, Why is it So Hard? db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Guy Broadfoot		20051 BibTEX Refer
Image processing on the reconfigurable transputer processor db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
J. G. Harp, H. C. Webber		19879 BibTEX Refer
Implementation of an Agent-based Model with TBB Technique db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Ye Li		20121 BibTEX Refer
Implementation of back-propogation on a transputer array db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
G. Richards		19888 BibTEX Refer
Implementation of KRoC on Analog Devices "SHARC" DSP db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
André W. P. Bakkers, G. W. Otten, M. H. Schwirtz, R. Bruis, Jan F. Broenink		199612 BibTEX Refer
Implementation of learning automata games on a 128-transputer reconfigurable machine using VCR1.8c (Virtual Channel Router) db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Franciszek Seredynski, João Paulo Kitajima, Brigitte Plateau		19925 BibTEX Refer
Implementation of real-time scheduling algorithms in a transputer environment db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Ole Caprani, Jens E. Kristensen, Claus Mørk, Henrik Bo Pedersen, Finn R. Rasmussen		199012 BibTEX Refer
Implementing a Distributed Algorithm for Detection of Local Knots and Cycles in Directed Graphs db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Geraldo Pereira de Souza, Gerson Henrique Pfitscher		200216 BibTEX Refer
Implementing an Active Chart Parser on a Transputer Network db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Janet Edwards, John H. Connolly		199110 BibTEX Refer
Implementing Generalised Alt db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Gavin Lowe		201134 BibTEX Refer
Implementing Recursion on a Double Ring Topology db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
J. L. Jacquemin		19905 BibTEX Refer
Improving TCP/IP Multicasting with Message Segmentation db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Hans Henrik Happe, Brian Vinter		20059 BibTEX Refer
Improving the Performance of Periodic Real-time Processes: a Graph Theoretical Approach db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Antoon H. Boode, Hajo Broersma, Jan F. Broenink		201324 BibTEX Refer
Incorporating Use-Case Analysis in PCSC Method db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Chandran Elamvazuthi, Gordon A. Manson		199514 BibTEX Refer
Incremental behavioral simulations on a network of transputers db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Keith Dimond, Samir Hassan		19909 BibTEX Refer
Infinite Traces, Acceptances and CSPP db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Adrian E. Lawrence		200110 BibTEX Refer
Integrating and Extending JCSP db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Peter H. Welch, Neil C.C. Brown, James Moores, Kevin Chalmers, Bernhard H.C. Sputh		200721 BibTEX Refer
Integration of Classification and Evaluation Procedures in the Implementation of Parallel Image Analysis Algorithms db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
P. Brittan, M. C. Fairhurst		19919 BibTEX Refer
Interacting Components db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Bojan Orlic, Jan F. Broenink		200624 BibTEX Refer
Interactive Computing with the Minimum intrusion Grid (MiG) db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
John Markus Bjørndalen, Otto J. Anshus, Brian Vinter		200513 BibTEX Refer
Interconnecting Remote LANs via Public Data Networks by High Performance Parallel Routers db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
A. Lakkis, L Jacquemin J, M. Dumas		199616 BibTEX Refer
Interfacing C and occam-pi db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Frederick R. M. Barnes		200512 BibTEX Refer
Interfacing with Honeysuckle by Formal Contract db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Ian R. East		200511 BibTEX Refer
Introducing JCSP Networking 2.0 db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Kevin Chalmers		20081 BibTEX Refer
Issues raised while implementing a layered protocol using occam and the transputer db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Roger M. A. Peel		198913 BibTEX Refer
Java Joins IEEE-1355 in the Home Network db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Barry M. Cook, N. H. White		199910 BibTEX Refer
Java PastSet - A Structured Distributed Shared Memory System db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Kei Simon Pedersen, Brian Vinter		200212 BibTEX Refer
Java Threads in Light of occam/CSP (Tutorial) db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Peter H. Welch		19971 BibTEX Refer
Java Threads in the light of occam/CSP db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Peter H. Welch		199826 BibTEX Refer
JCircus 2.0: an Extension of an Automatic Translator from Circus to Java db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
S.L.M. Barrocas, Marcel Oliveira		201222 BibTEX Refer
JCircus Demo db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
S.L.M. Barrocas, Marcel Oliveira		20121 BibTEX Refer
JCSP Agents-Based Service Discovery for Pervasive Computing db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Anna Kosek, Jon Kerridge, Aly Syed, Alistair Armitage		200911 BibTEX Refer
JCSP-Poison: Safe Termination of CSP Process Networks db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Bernhard H.C. Sputh, Alastair R. Allen		200537 BibTEX Refer
jcsp.mobile: A Package Enabling Mobile Processes and Channels db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Kevin Chalmers, Jon Kerridge		200519 BibTEX Refer
JCSPre: the Robot Edition To Control LEGO NXT Robots db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Jon Kerridge, Alex Panayotopoulos, Patrick Lismore		200816 BibTEX Refer
JCSProB: Implementing Integrated Formal Specifications in Concurrent Java db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Letu Yang, Michael R. Poppleton		200722 BibTEX Refer
K-CSP Component Based Development of Kernel Extensions db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Bernhard H.C. Sputh		200414 BibTEX Refer
LATIN -- A language for transputer networks db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
D. Crookes, P. Milligan, N. S. Scott, P. L. Kilpatrick, Philip J. Morrow		198716 BibTEX Refer
Lazy Cellular Automata with Communicating Processes db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Adam T. Sampson, Peter H. Welch, Frederick R. M. Barnes		200511 BibTEX Refer
Lazy Exploration and Checking of CSP Models with CSPsim db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Philip J Brooke, Richard F. Paige		200718 BibTEX Refer
Legacy of the Transputer db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Ruth Ivimey-Cook		199915 BibTEX Refer
Lego Robots Using JCSP db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Jon Kerridge		20081 BibTEX Refer
libcsp - a Building mechanism for CSP Communication and Synchronisation in Multithreaded C Programs db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Rick D. Beton		200012 BibTEX Refer
LiBRA -- A load balancing tool for a reconfigurable parallel computer db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Sanjay Tambwekar, U. S. Shukla, A. Paulraj		199013 BibTEX Refer
Life of occam-Pi db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Peter H. Welch		201326 BibTEX Refer
Linda implementation revisted db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Andrew Douglas, Alan Wood, Antony Rowstron		199514 BibTEX Refer
LUNA: Hard Real-Time, Multi-Threaded, CSP-Capable Execution Framework db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Maarten M. Bezemer, Robert J.W. Wilterdink, Jan F. Broenink		201119 BibTEX Refer
MALT: A Multiway Alternation Construct for occam db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Adam K. L. Wong, Francis C. M. Lau		199812 BibTEX Refer
Managing real-time demands on transputers db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Peter H. Welch		198711 BibTEX Refer
Mapping a process network onto a processor network db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Francis C. M. Lau, K. M. Shea		198810 BibTEX Refer
Mapping PCSC Design Model to Inmos ANSI C db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
S. Sahib, Gordon A. Manson		199519 BibTEX Refer
Mapping Revisited db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
D. Goodeve		199315 BibTEX Refer
Marvin -- Multiprocessor Architecture for vision db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Chris R. Brown, Michael Rygol		198913 BibTEX Refer
Mathmatical models of distributing computation db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
D. Pritchard		198712 BibTEX Refer
Mechanical Verification of a Two-Way Sliding Window Protocol db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Bahareh Badban, Wan Fokkink, Jaco Van De Pol		200824 BibTEX Refer
Memory access synchronization in series expansion methods of parallel image reconstruction db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
W. J. Nowinski		199010 BibTEX Refer
Memory Management Strategies for Parallel Volume Rendering db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Alan G. Chalmers		199614 BibTEX Refer
Memory managers for transputing networks db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
J. C. Admiraal, N. Carmichael		19896 BibTEX Refer
Message routing systems for transputer based parallel computers db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Domenico Talia		199212 BibTEX Refer
Mixed Language Programming for Transputer Networks, A Case Study db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
I. E. Jelly, S. A. Morris		199313 BibTEX Refer
Mobile Agents and Processes using Communicating Process Architectures db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Jon Kerridge, Jens-Oliver Haschke, Kevin Chalmers		200814 BibTEX Refer
Mobile Barriers for occam-pi: Semantics, Implementation and Application db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Peter H. Welch, Frederick R. M. Barnes		200528 BibTEX Refer
Mobile Data, Dynamic Allocation and Zero Aliasing: An occam Experiment db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Peter H. Welch, Frederick R. M. Barnes		200122 BibTEX Refer
Mobile Escape Analysis for occam-pi db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Frederick R. M. Barnes		200918 BibTEX Refer
Mobile Processes and Call Channels with Variant Interfaces (a Duality) db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Eric Bonnici, Peter H. Welch		20111 BibTEX Refer
Mobile Processes in an Ant Simulation db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Eric Bonnici		20081 BibTEX Refer
Mobile Robot Control: The Subsumption Architecture and occam-pi db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Jonathan Simpson, Christian L. Jacobsen, Matthew C. Jadud		200612 BibTEX Refer
Mobility in JCSP: New Mobile Channel and Mobile Process Models db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Kevin Chalmers, Jon Kerridge, Imed Romdhani		200720 BibTEX Refer
Modeling and Analysis of the AMBA Bus Using CSP and B db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Alistair A. McEwan, Steve Schneider		200720 BibTEX Refer
Modelling a Multi-Core Media Processor Using JCSP db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Anna Kosek, Jon Kerridge, Aly Syed		200813 BibTEX Refer
Modelling Real-Time Behaviour of Parallel Transputer Systems under Failure Conditions db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Peter R. Croll, P. M. Griffiths		199513 BibTEX Refer
Monitoring occam channels by program transformation db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Peter C. Capon, Adrian J. West		198710 BibTEX Refer
Multi-priority scheduling for transputer-based real-time control db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Peter H. Welch		199017 BibTEX Refer
Multi-transputer based parallel implementation of feature extraction for object recognition db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
D. W. Downing, I. B. Bennett		198812 BibTEX Refer
Multilayer perceptrons on transputer networks db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
N. Dodd		198712 BibTEX Refer
Mutually Assured Destruction (or the Joy of Sync) db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Peter H. Welch, Jan Bækgaard Pedersen, Frederick R. M. Barnes		20132 BibTEX Refer
Names of XCHAN Implementations db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Øyvind Teig		20132 BibTEX Refer
National HPC Facilities at EPCC: Exploiting Massively Parallel Architectures for Scientific Simulation db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Andrew Turner		20132 BibTEX Refer
Native Code Generation using the Transterpreter. db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Christian L. Jacobsen, Damian J. Dimmich, Matthew C. Jadud		200612 BibTEX Refer
Native JCSP - the CSP for Java library with a Low-Overhead CSP Kernel db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
James Moores		200012 BibTEX Refer
New ALT for Application Timers and Synchronisation Point Scheduling db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Øyvind Teig, Per Johan Vannebo		200910 BibTEX Refer
No Blocking on Yesterday's Embedded CSP Implementation (the Rubber Band of Getting it Right and Simple) db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Øyvind Teig		20068 BibTEX Refer
Nonconvex continuous optimization experiments on a transputer system db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
A. ter Laak, L. O. Hertzberger, P. M. A. Sloot		199215 BibTEX Refer
Object Orientated Version Management on A Transputer-Based Architecture db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
W. T. Macaulay, K. S. Stringer		19948 BibTEX Refer
Object Store Based Simulation Interworking db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Carl G. Ritson, Paul S. Andrews, Adam T. Sampson		201111 BibTEX Refer
Observing Processes db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Adrian E. Lawrence		200410 BibTEX Refer
oc-X: an Optimising Multiprocessor occam System for the PowerPC db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Tim Sheen, Alastair R. Allen, Andreas Ripke, Stacy Woo		199820 BibTEX Refer
Occam and transputers for industrial applications db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
H. A. M. Hendrikx, R. J. Hacking		19882 BibTEX Refer
Occam for all - Two Approaches to Retargetting the INMOS Compiler db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Michael D. Poole		199612 BibTEX Refer
occam for Multi-Processor DEC Alphas db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Peter H. Welch, Michael D. Poole		199710 BibTEX Refer
occam for reliable embedded systems: lightweight runtime and model checking db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Denis A. Nicole, Sam Ellis, Simon Hancock		20036 BibTEX Refer
occam Obviously db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Peter H. Welch		20122 BibTEX Refer
occam on Field Programmable Gate Arrays - Optimising for Performance db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Roger M. A. Peel, Barry M. Cook		200012 BibTEX Refer
Occam on Field Programmable Gate Arrays - Steps towards the Para-PC db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Barry M. Cook, Roger M. A. Peel		199918 BibTEX Refer
occam on the Arduino db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Adam T. Sampson, Matthew C. Jadud, Christian L. Jacobsen		20091 BibTEX Refer
Occam program synthesis for execution on parallel machines: Towards a transformational approach db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Xiaobo Yu, Traian Muntean		199014 BibTEX Refer
Occam transformation at Oxford db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Michael Goldsmith		198718 BibTEX Refer
Occam's priority model and deadline scheduling db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
A. Burns		198714 BibTEX Refer
Occam, PVM and the Alternative Construct db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Chandran Elamvazuthi, Gordon A. Manson		199413 BibTEX Refer
occwserv: An occam Web-Server db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Frederick R. M. Barnes		200318 BibTEX Refer
On Congruence Property of Scope Equivalence for Concurrent Programs with Higher-Order Communication db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Masaki Murakami		200918 BibTEX Refer
On guards db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Geraint Jones		198710 BibTEX Refer
On Issues of Constructing an Exception Handling Mechanism for CSP-Based Process-Oriented Concurrent Software db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Dusko S. Jovanovic, Bojan Orlic, Jan F. Broenink		200513 BibTEX Refer
On Linear Time and Congruence in Channel-Passing Calculi db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Frederic Peschanski		200416 BibTEX Refer
On the Complexity of Buffer Allocation in Message Passing Systems db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Alex Brodsky, Jan Bækgaard Pedersen, Alan Wagner		200218 BibTEX Refer
On the Feasibility of Run-Time Process Migration in Multi-transputer Machines db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Peter Jones, Hojung Cha		199016 BibTEX Refer
On the serialisation of parallel programs db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Peter H. Welch, G. R. Ribeiro Justo		199122 BibTEX Refer
On the Use of Transputers in a Multimedia Teleconferencing System db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Iain Phillips, D. Parish		19947 BibTEX Refer
OpenComRTOS: A Runtime Environment for Interacting Entities db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Bernhard H.C. Sputh, Oliver Faust, Eric Verhulst, Vitaliy Mezhuyev		200912 BibTEX Refer
Operating models for (reconfigurable) transputer networks db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Traian Muntean, C. Tricot		198716 BibTEX Refer
Optical character recognition on a network of transputers db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
P. Patry		198716 BibTEX Refer
Optimum Transputer Configurations for Real Applications Requiring Global Communication db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Colin J. Burgess, Alan G. Chalmers		199511 BibTEX Refer
Overtures and hesitant offers: hiding in CSPP db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Adrian E. Lawrence		200313 BibTEX Refer
PAR and STARTP Take the Tanks db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Øyvind Teig		199818 BibTEX Refer
Parallel Algorithms for Deadlock and Livelock Analysis of Concurrent Systems db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Jeremy M. R. Martin, Yvonne Huddart		200014 BibTEX Refer
Parallel application development with dynamo db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
A. Biriukov, D. Ulyanov		19959 BibTEX Refer
Parallel Execution of Prolog on a Transputer-Based Network db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
L. Araujo, J. J. Ruz		199315 BibTEX Refer
Parallel Genetic Algorithms to Find Near Optimal Schedules for Tasks on Multiprocessor Architectures db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
M. Moore		200110 BibTEX Refer
Parallel Graph Colouring using Java db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Thomas Umland		19988 BibTEX Refer
Parallel Imperative Functional Programming db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Steve Hill		199514 BibTEX Refer
Parallel implementations of a molecular dynamics program for Lennard-Jones particles on transputer network db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
V. Martorana, M. Migliore, S. L. Fornilli		19877 BibTEX Refer
Parallel panel methods db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Alan G. Chalmers, Steven P. Fiddes, Derek J. Paddon		19909 BibTEX Refer
Parallel Processing - the picoChip way! db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Andrew Duller, Gajinder Panesar, Daniel Towner		200314 BibTEX Refer
Parallel processing with the disputer db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
C. P. Winder		198814 BibTEX Refer
Parallel programming toolkit for 3L -- C FORTRAN and Pascal db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Alan D. Culloch		19888 BibTEX Refer
Parallel Scan Line algorithm for Hidden Surface Elimination db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Julian C. Highfield		19918 BibTEX Refer
Parallel Solution of Linear ODEs. Implementation on Transputer Networks db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
G. Mourney		199610 BibTEX Refer
Parallel Usage Checking - an Observation db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Barry M. Cook		20111 BibTEX Refer
Parallel-DB4GL: An implementation of a self-describing object-oriented database application generator on transputer hardware db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
J. P. Gray, F. Poole		199016 BibTEX Refer
Parallelisation for the progressive refinement radiosity method for the synthesis of realistic images db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Peter Green, Ed Morgan		199516 BibTEX Refer
Parallelisation of computational algorithms for a transputer network: An approach db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
R. Hilhorst		19875 BibTEX Refer
PARAVER: A Tool to Visualize and Analyze Parallel Code db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
V. Pillet, J. Labarta, T. Cortes, S. Girona		199515 BibTEX Refer
PARX: A parallel operating system for transputer based machines db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
J. Briat, M. Favre, D. Fort, N. Gonzalez-Valenzuela, Y. Langue, Traian Muntean, Ph. Waille		198929 BibTEX Refer
PDS: Advanced program developement system for transputer based machines db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
J. Eudes, F. Menneteau, L. Mugwaneza, Traian Muntean		198914 BibTEX Refer
PEDFLOW - A System for Modelling Pedestrian Movement using occam db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Jon Kerridge, N. McNair		199918 BibTEX Refer
Performance Analysis and Behaviour Tuning for Optimisation of Communicating Systems db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Mark Green, Ali E. Abdallah		200210 BibTEX Refer
Performance Evaluation of JCSP Micro Edition: JCSPme db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Kevin Chalmers, Jon Kerridge, Imed Romdhani		200610 BibTEX Refer
Performance modelling of a parallel meural network simulator db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Tom Tollenaere, Dirk Roose		199212 BibTEX Refer
Performance of post-game analysis on transputers db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Johan P. E. Sunter, André W. P. Bakkers		199111 BibTEX Refer
Performance of the Distributed CPA Protocol and Architecture on Traditional Networks db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Kevin Chalmers		201116 BibTEX Refer
PICOMS: Prioritised Inferred Choice Over Multiway Synchronisation db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Douglas N. Warren		20081 BibTEX Refer
PIPES: A transputer-based parallel architecture for AI real time applications db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
G. P. Balboni, G. Giandonato, R. Melen		198916 BibTEX Refer
PIX: NeWS for parallel computers db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
P. Goward, W. Leler		19888 BibTEX Refer
Polyphonic Processors - Fantasy on an FPGA db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Richard Miller		20121 BibTEX Refer
pony - The occam-pi Network Environment db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Mario Schweigler, Adam T. Sampson		200632 BibTEX Refer
Portable CSP Based Design for Embedded Multi-Core Systems db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Bernhard H.C. Sputh, Oliver Faust, Alastair R. Allen		200612 BibTEX Refer
Porting the 3L Parallel C environment to the Texas Instruments TMS320C40 db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Alan D. Culloch		199214 BibTEX Refer
Porting the INMOS occam Compiler to the SPARC Architecture db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
K. Rothwell, G. Shaw, A Smith		19958 BibTEX Refer
Post-Mortem Debugging in KRoC db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
David C. Wood, Frederick R. M. Barnes		200014 BibTEX Refer
Predictable response times and portable hard real-time systems with TRANS-RTXc on the Transputer db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Eric Verhulst, Hans Thielemans		19909 BibTEX Refer
Prefetch Data Management for Parallel Particle Tracing db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Jonathan Tidmus, Roger Miles, Alan G. Chalmers		19978 BibTEX Refer
Prioritised Choice over Multiway Synchronisation db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Douglas N. Warren		201124 BibTEX Refer
Prioritised Dynamic Communicating Processes - Part I db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Frederick R. M. Barnes, Peter H. Welch		200232 BibTEX Refer
Prioritised Dynamic Communicating Processes - Part II db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Frederick R. M. Barnes, Peter H. Welch		200218 BibTEX Refer
Prioritised Service Architecture db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Ian R. East		200416 BibTEX Refer
Prioritized Service Architecture: Refinement and Visual Design db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Ian R. East		200815 BibTEX Refer
Process-Oriented Building Blocks db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Adam T. Sampson		20122 BibTEX Refer
Process-Oriented Collective Operations db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
John Markus Bjørndalen, Adam T. Sampson		200820 BibTEX Refer
Process-Oriented Subsumption Architectures in Swarm Robotic Systems db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Jeremy C. Posso, Adam T. Sampson, Jonathan Simpson, Jon Timmis		201114 BibTEX Refer
ProcessJ: A Possible Future of Process-Oriented Design db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Jan Bækgaard Pedersen, Marc L. Smith		201324 BibTEX Refer
Processor Farm Analysis and Simulation for Embedded Parallel Processing Systems db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
R. W. S. Tregidgo, A. C. Downton		199011 BibTEX Refer
Processor Independant and Extendable Routing System using a Cyclic Routing Algorithm db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
P. A. Shallow		19919 BibTEX Refer
Programming the CELL-BE using CSP db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Kenneth Skovhede, Morten N. Larsen, Brian Vinter		201116 BibTEX Refer
Protocol Verification in Millipede db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Jan Bækgaard Pedersen, Alan Wagner		200120 BibTEX Refer
Prototyping transputer applications db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
E. Hart, S. Flavell		19907 BibTEX Refer
Providing CSP-Like Functionality in a Helios Environment db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
P. Böckmann, H. Giese, G. Wirtz		199415 BibTEX Refer
PyCSP - Communicating Sequential Processes for Python db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
John Markus Bjørndalen, Brian Vinter, Otto J. Anshus		200720 BibTEX Refer
PyCSP Revisited db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Brian Vinter, John Markus Bjørndalen, Rune Møllegard Friborg		200914 BibTEX Refer
R16: a New Transputer Design for FPGAs db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
John Jakson		200528 BibTEX Refer
Rain VM: Portable Concurrency through Managing Code db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Neil C.C. Brown		200615 BibTEX Refer
Rain: A New Concurrent Process-Oriented Programming Language db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Neil C.C. Brown		200615 BibTEX Refer
Randomised routing: "Hot potato" simulations db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Xu Ming Qiang, Stephen J. Turner		198810 BibTEX Refer
Ray-tracing on super-node db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
D. Gasilloud, B. Mignot		19876 BibTEX Refer
Real-time and fault tolerance in distributed control software db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Bojan Orlic, Jan F. Broenink		200316 BibTEX Refer
Real-time Performance Evaluation Issues for Transputer Networks db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
M. Tokhi, M. Hossain, M. Baxter, P. J. Fleming		199512 BibTEX Refer
Real-time processing of large volume data from photographic plate measurements db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
W. A. Cormack		198812 BibTEX Refer
Real-Time Transputer Models of a Low-Level Primate Vision db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Andrew B. Smith, Peter H. Welch		198911 BibTEX Refer
Reconfigurable Computing db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Roger Gook		19971 BibTEX Refer
Reconfigurable Hardware Synthesis of the IDEA Cryptographic Algorithm db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Ali E. Abdallah, I. W. Damaj		200430 BibTEX Refer
Reconnetics: A System for the Dynamic Implementation of Mobile Hardware Processes in FPGAs db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Ralph Moseley		200214 BibTEX Refer
Refining Industrial Scale Systems in Circus db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Marcel Oliveira, Ana Cavalcanti, Jim Woodcock		200430 BibTEX Refer
Relating and Visualising CSP, VCR and Structural Traces db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Neil C.C. Brown, Marc L. Smith		200915 BibTEX Refer
Repeatable execution of occam programs db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Umberto Villano		199110 BibTEX Refer
Representation and Implementation of CSP and VCR Traces db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Neil C.C. Brown, Marc L. Smith		200817 BibTEX Refer
Resumable Java Bytecode - Process Mobility for ProcessJ targeting the JVM db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Jan Bækgaard Pedersen, Brian Kauke		200914 BibTEX Refer
RMoX: A raw-metal occam Experiment db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Christian L. Jacobsen, Frederick R. M. Barnes, Brian Vinter		200320 BibTEX Refer
Robust Robot Software using Process Orientation db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Cagri Yalcin, Jan F. Broenink		20091 BibTEX Refer
Routing messages through networks: An exerecise in deadlock avoidance db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
A. W. Roscoe		198725 BibTEX Refer
RRABP: Point-to-Point Communication over Unreliable Components db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Bernhard H.C. Sputh, Oliver Faust, Alastair R. Allen		200815 BibTEX Refer
RT-DOS -- A real-time distributed operating system for transputers db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
M. Tayh, M. Bor, M. Benmaiza, M. R. Eskicioglu		199011 BibTEX Refer
Sampling and timing a task for the environmental process db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Gerald H. Hilderink, Jan F. Broenink		200314 BibTEX Refer
Santa Claus - with Mobile Reindeer and Elves db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Peter H. Welch, Jan Bækgaard Pedersen		20081 BibTEX Refer
Santa's Groovy Helper db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Jon Kerridge		20081 BibTEX Refer
Scalable Performance for Scala Message-Passing Concurrency db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Andrew Bate		201320 BibTEX Refer
Scaling PyCSP db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Rune Møllegard Friborg, John Markus Bjørndalen, Brian Vinter		201312 BibTEX Refer
Schedulability Analysis of Timed CSP Models Using the PAT Model Checker db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Oguzcan Oguz, Jan F. Broenink, Angelika Mader		201224 BibTEX Refer
Scheduling for ILP in the 'Processor-as-a-Network' db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
D.K. Arvind, S. Sotelo-Salazar		200316 BibTEX Refer
SCOTT: The Southampton COFF Tools for Transputers db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Denis A. Nicole, R. Sivaram		199616 BibTEX Refer
Scriptic: Parallel Programming in Extended Java db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
André van Delft		199717 BibTEX Refer
Security aspects of occam 2 db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Roger Shepherd		19878 BibTEX Refer
Selective Choice "Feathering" with XCHANs db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Øyvind Teig		201312 BibTEX Refer
Self-Adjusting Mapping: A Heuristic Mapping Algorithm for Mapping Parallel Programs onto Transputer Networks db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Hong Shen		198910 BibTEX Refer
Semantics of prialt in Handel-C (tm) db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Andrew Butterfield		200216 BibTEX Refer
Service Oriented Programming in MPI db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Sarwar Alam, Humaira Kamal, Alan Wagner		201320 BibTEX Refer
Serving Web Content with Dynamic Process Networks in Go db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
James Whitehead		201118 BibTEX Refer
SEU Protection for High-Reliability Flash File Systems db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Neil J. Perrins, Alistair A. McEwan		20122 BibTEX Refer
Shared virtual memory on transputers via the data diffusion machine db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Sanjay Raina, David H. D. Warren, James Cownie		19909 BibTEX Refer
Shared-Clock Methodology for Time-Triggered Multi-Cores db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Keith F. Athaide, Michael J. Pont, Devaraj Ayavoo		200814 BibTEX Refer
Shared-Memory Multi-Processor Scheduling Algorithms for CCSP db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Carl G. Ritson		20072 BibTEX Refer
Simulating Neural Networks in a Distributed environments db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Jukka Vanhala, Kimmo Kaski		198913 BibTEX Refer
Simulation fonctionnelle d'une architecture parallele en occam db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Y. Ansade, R. Cornu-Emieux, D. Lattard, G. Mazare, Ph. Objois		19877 BibTEX Refer
Simulation of gas pipeline networks db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Minesh Patel, Paul Bentley, Clifton Hughes		19886 BibTEX Refer
Simulation of optical systolic and neural network using occam db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
D. J. Evans, K. G. Margaritis		199111 BibTEX Refer
Software Specification Refinement and Verification Method with I-Mathic Studio. db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Gerald H. Hilderink		200614 BibTEX Refer
Solving Partial Differential equations via Cellular Automata: A Binary and Statistical Approach db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
A. Cosnuau, F. Desbois, Y. Morchoisne		19896 BibTEX Refer
Solving the Santa Claus Problem: a Comparison of Various Concurrent Programming Techniques db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Jason Hurt, Jan Bækgaard Pedersen		200816 BibTEX Refer
Some numerical experiments on transputer networks db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
A. Cosnuau, O. Poirel		198711 BibTEX Refer
Southampton's Portable Occam Compiler (SPOC) db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Mark Debbage, Mark Hill, S. Wykes, Denis A. Nicole		199416 BibTEX Refer
SpaceWire - DS-Links Reborn db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Barry M. Cook, Paul Walker		200612 BibTEX Refer
Spatial Simulation Modelling of Insect Population Dynamics on a Transputer Network db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
D. R. Morse		199310 BibTEX Refer
Specification of APERTIF Polyphase Filter Bank in ClaSH db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Rinse Wester, Dimitrios Sarakiotis, Eric Kooistra, Jan Kuper		201212 BibTEX Refer
Specifying and Analysing Networks of Processes in CSPt (or In Search of Associativity) db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Paul Howells, Mark d'Inverno		201328 BibTEX Refer
Static Scoping and Name Resolution for Mobile Processes with Polymorphic Interfaces db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Jan Bækgaard Pedersen, Matthew Sowders		201115 BibTEX Refer
Steering High-Performance Parallel Programs: a Case Study db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
P. J. Love, Jeremy M. R. Martin		200010 BibTEX Refer
Strategies for workload distribution db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Iain Phillips, Peter C. Capon		199113 BibTEX Refer
Successes and Failures: Extending CSP db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Adrian E. Lawrence		200118 BibTEX Refer
Successful Termination in Timed CSP db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Paul Howells, Mark d'Inverno		201318 BibTEX Refer
Supercomputing Resource Management - Experience with the SGI Cray Origin 2000 db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Jeremy M. R. Martin, R. C. F. McLatchie, K. M. Measures		199910 BibTEX Refer
Support for occam channels via dynamic switching in multi-transputer machines db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Peter Jones, Alan Murta		198812 BibTEX Refer
Supporting a Rapid Prototyping System for Distributed Algorithms on a Transputer Network db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
J. Cao, O. de Vel, Adam K. L. Wong		199316 BibTEX Refer
Supporting the Prototyping of Transputer Based Fault Tolerant Systems db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Patrick Nixon		199411 BibTEX Refer
Supporting Timed CSP Operators in CSP++ db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
W. B. Gardner, Yuriy Solovyov		201218 BibTEX Refer
Surface tracking within three dimensional datasets using a generalised message-passing system db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
M. G. Norman, R. B. Fisher		19886 BibTEX Refer
Switching networks for transputer links db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Denis A. Nicole, E. K. Lloyd, J. S. Ward		198820 BibTEX Refer
SYDAMA-2: a heterogeneous multiprocessor system for real time image processing db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Dieter Stokar		19927 BibTEX Refer
Synchronisation in a Multithreaded Processor db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Shondip Sen, Henk Muller, David May		20008 BibTEX Refer
Synchronous Active Objects Introduce CSP's Primitives in Java db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Claude Petitpierre		200214 BibTEX Refer
SystemCSP - Visual Notation db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Bojan Orlic, Jan F. Broenink		200627 BibTEX Refer
Systems Modelling and Integration db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Dan Slipper		20091 BibTEX Refer
SystemVerilogCSP: Modeling Digital Asynchronous Circuits Using SystemVerilog Interfaces db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Arash Saifhashemi, Peter A. Beerel		201116 BibTEX Refer
TCP Input Threading in High Performance Distributed Systems db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Hans Henrik Happe		200611 BibTEX Refer
TCP/IP on transputers -- the performance implications db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Roger M. A. Peel		199213 BibTEX Refer
Techniques for rendering solid objects on a processor farm db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Peter M. Dew, Nick Holliman, David Morris, Alan de Pennington		198816 BibTEX Refer
Testing and Sampling Parallel Systems db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Jon Kerridge		200714 BibTEX Refer
The 'Honeysuckle' Programming Language: Event and Process db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Ian R. East		200216 BibTEX Refer
The advancements of transputers and occam db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Janet Edwards, Philip Lawson		199112 BibTEX Refer
The application of transputers and occam to an industrial energy management system db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Andy Sinclair, Paul Kelly		198810 BibTEX Refer
The Architecture of the Minimum intrusion Grid (MiG) db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Brian Vinter		200513 BibTEX Refer
The Automated Serialization of Concurrent CSP Scripts using Mathematica db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Weiyang Zhou, G. S. Stiles		200018 BibTEX Refer
The Computation Time Process Model db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Martin Korsgaard, Sverre Hendseth		201114 BibTEX Refer
The computing tower: A supercomputer for real- time simulation of continuous systems db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Patrick van Renterghem		198812 BibTEX Refer
The Core Language of Aldwych db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Matthew Huntbach		200716 BibTEX Refer
The denotational Semantics of View-Centric Reasoning db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Marc L. Smith, Charles E. Hughes, Kyle W. Burke		20038 BibTEX Refer
The design of a real time three demensional vision system for object idenification db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Janet Edwards, Ian P. W. Sillitoe		19908 BibTEX Refer
The Design of JET: A Java Library for Embarrassingly Parallel Applications db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Luis M. Silva, Hernâni Pedroso, João Gabriel Silva		199719 BibTEX Refer
The development of a parallel C compiler db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
K. Wybrans, R. Kurver		19879 BibTEX Refer
The Development of occam: types, classes and sharing db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Geoff Barrett		199029 BibTEX Refer
The Distributed Application Debugger db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Michael Quinn Jones, Jan Bækgaard Pedersen		201316 BibTEX Refer
The Flying Gator: Towards Aerial Robotics in occam-π db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Ian Armstrong, Michael Pirrone-Brusse, A Smith, Matthew C. Jadud		201112 BibTEX Refer
The Functional Specification of OCCAM Programs for Time Critical Applications db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Patrick Nixon, Peter R. Croll		199314 BibTEX Refer
The Globalisation of occam db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Paul Singleton, Barry M. Cook		199616 BibTEX Refer
The Grid Block Device db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Bardur Arrantsson, Brian Vinter		200312 BibTEX Refer
The Guppy Language: an Update db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Frederick R. M. Barnes		20132 BibTEX Refer
The Implementation of a Scalable Massively Parallel Concurrency Control Architecture db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
S. W. Waithe		199415 BibTEX Refer
The INQUEST Transputer Network Debugger db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
M. Johnson		199310 BibTEX Refer
The Investigation of Communications Patterns in Occam Programs db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Rosemary Candlin, Qiangyi Luo, Neil Skilling		198910 BibTEX Refer
The Kent Retargettable occam Compiler db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
David C. Wood, Peter H. Welch		199624 BibTEX Refer
The knapsack solver: A benchmark for parallel computing systems db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
D. Call		198718 BibTEX Refer
The Macramé 1024 Node Switching Network db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
S. Haas, D. A. Thornley, M. Zhu, R. W. Dobinson, B. Martin		19978 BibTEX Refer
The meaning and implementation of PRI ALT in occam db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Geoff Barrett, Michael Goldsmith, Geraint Jones, A. Kay		198810 BibTEX Refer
The Meaning and Implementation of SKIP in CSP db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Thomas Gibson-Robinson, Michael Goldsmith		201316 BibTEX Refer
The occam process of the N-ARCH Kernel db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
S. Niar, G. Goncalves, M. P. Lecouffe, B. Toursel		19878 BibTEX Refer
The Para-PC, An Analysis db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Barry M. Cook, Roger M. A. Peel		199614 BibTEX Refer
The PARIX pregramming environment db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Parsytec GmBH.		199213 BibTEX Refer
The Quadruple Approach in Fault-Tolerant Transputer System Design db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
K. Jelemenska, L. Hudec		19949 BibTEX Refer
The SCOOP Concurrency Model in Java-like Languages db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Faraz Torshizi, Jonathan S. Ostroff, Richard F. Paige, Marsha Chechik		200921 BibTEX Refer
The Single Resource Allocation Problem: Parallel Algorithms on Distributed Systems db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
C. Rodriguez, F. Almeida, D. Morales, J. L. Roda, F. Garcia		199612 BibTEX Refer
The TDS occam 2 debugging system db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
C. O'Neil		19876 BibTEX Refer
The Transterpreter: A Transputer Interpreter db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Christian L. Jacobsen, Matthew C. Jadud		20048 BibTEX Refer
The Trebuchet db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
John Campbell, G. S. Stiles		200311 BibTEX Refer
The `Uniform Heterogeneous Multi-Threaded' Processor Architecture db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Daniel Towner, David May		200114 BibTEX Refer
This is a Parallel Parrot db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Adam T. Sampson		20111 BibTEX Refer
Three Unique Implementations of Processes for PyCSP db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Rune Møllegard Friborg, John Markus Bjørndalen, Brian Vinter		200916 BibTEX Refer
Tock: One Year On db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Adam T. Sampson, Neil C.C. Brown		20081 BibTEX Refer
Topologies for large transputer networks: Theoretical aspects and experimental approach db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Francoise Baude, Francoise Carre, Pascal Clere, Guy Vidal- Naquet		198920 BibTEX Refer
Toward Process Architectures for Behavioural Robotics db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Jonathan Simpson, Carl G. Ritson		200912 BibTEX Refer
Towards a distributed implementation of occam db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Mark Debbage, Mark Hill, Denis A. Nicole		199010 BibTEX Refer
Towards a Semantics for Prioritized Alternation db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Ian R. East		200412 BibTEX Refer
Towards a Software Architecture for Solid Modelling Systems on Processor Networks db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
J. R. Davy, Peter M. Dew, Nick Holliman, D.P. Mallon, Alan de Pennington		198914 BibTEX Refer
Towards a Viable Alternative to OO -- Extending the occam/CSP Programming Model db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Tom Locke		200121 BibTEX Refer
Towards an adaptable scheduler for real-time system db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Celio Estevan Moron, Hussein S. M. Zedan		199213 BibTEX Refer
Towards Guaranteeing Process Oriented Program Behaviour db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Frederick R. M. Barnes		20081 BibTEX Refer
Towards Strong Mobility in the Shared Source CLI db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Johnston Stewart, Patrick Nixon, Tim Walsh, Ian Ferguson		200511 BibTEX Refer
Towards the Formal Verification of a Java Processor in Event-B db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Neil Grant, Neil Evans		200718 BibTEX Refer
Traces for Testing db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Neil C.C. Brown		20091 BibTEX Refer
trancell - an Experimental ETC to Cell BE Translator db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Ulrik Schou Jørgensen, Espen Suenson		200712 BibTEX Refer
Transactional CSP Processes db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Gail Cassar, Patrick Abela		20072 BibTEX Refer
Transfer Request Broker: Resolving Input-Output Choice db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Oliver Faust, Bernhard H.C. Sputh, Alastair R. Allen		200815 BibTEX Refer
Translating ETC to LLVM Assembly db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Carl G. Ritson		200914 BibTEX Refer
TRANSNET -- A transputer-based communications service db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Peter H. Welch		198915 BibTEX Refer
Transputer and parallel computation at the GMD db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
M. Mevenkamp, S. Streitz		198711 BibTEX Refer
Transputer based adaptive signal processing db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
John J. Soragham, Woon S. Gan, Kwong H. Goh, Robert W. Stewart, Tariq S. Durrani		199220 BibTEX Refer
Transputer Based Architecture for Robot Control db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
J. Netto, L. Gathy, G. Campion, C. Trullemans		199313 BibTEX Refer
Transputer based database organisation -- an example protien database implemented using pipeline and hypercube configurations db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
K. S. Stringer, L. C. Waring		19895 BibTEX Refer
Transputer Based Pipeline Machine and Its Language in Nuclear Physics db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
B. D'Avanzo, M. De Poli, G. Maron, M. L. Mazza, S. Scanferlato, G. Staiano, X. N. Tang, G. Vedovato		199312 BibTEX Refer
Transputer implementation of a graphics pipeline for octree encoded objects db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
B. W. Heal		198810 BibTEX Refer
Transputer instrumentation applied to electrostatic powder flow measurement db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
E. Mills, Brian C. O'Neill		19888 BibTEX Refer
Transputer models for a high-performance local area network bridge db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
A. M. Sarrafan, Peter H. Welch		199011 BibTEX Refer
Transputer performance issues using the trollius operating system db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
James R. Jr. Beers, Ros Leibensperger, Moshe Braner, David Fielding		199016 BibTEX Refer
Transputers and parallel prolog db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
J. Reynolds		19878 BibTEX Refer
Transputers and routers: Components for concurrent machines db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
David May, Peter Thompson		199017 BibTEX Refer
tranx86 -- An Optimising ETC to IA32 Translator db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Frederick R. M. Barnes		200118 BibTEX Refer
Triples db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Adrian E. Lawrence		200428 BibTEX Refer
TROS: A Real Time Kernel for a Fault-Tolerant Multi-Processor Computer Based on Argument Flow db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Eric Verhulst, R. Lauwereins, R. Cuyvers, J. Peperstraete		198913 BibTEX Refer
Tutorial: Prioritised Service Architecture using Honeysuckle db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Ian R. East		20034 BibTEX Refer
Two-Way Protocols for occam-π db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Adam T. Sampson		200813 BibTEX Refer
Types, Orthogonality and Genericity: Some Tools for Communicating Process Architectures db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Samson Abramsky		200813 BibTEX Refer
Ubiquitous Access to Site Specific Services by Mobile Devices: the Process View. db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Jon Kerridge, Kevin Chalmers		200618 BibTEX Refer
Unfinished Business - occam-pi² db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Peter H. Welch		20121 BibTEX Refer
Use of Formal Models in Model-driven Design of Embedded software db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Oguzcan Oguz, Jan F. Broenink		20091 BibTEX Refer
Use of occam and the transputer architecture for matrix inversion db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
S. Tian, G. Xu, Y-H. Pao, W. L. Schultz		198711 BibTEX Refer
Use of occam for the validation of distributed discrete event driven simulation db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
A. H. Djahanguir, J. C. Geffroy		19899 BibTEX Refer
User-Defined Data Types and Operators in occam db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
David C. Wood, James Moores		199926 BibTEX Refer
Using CSP to Verify Aspects of an Occam-to-FPGA Compiler db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Roger M. A. Peel, Wong Han Feng Javier		200414 BibTEX Refer
Using FDR to Model Check CSP-Like Languages db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Thomas Gibson-Robinson		20132 BibTEX Refer
Using Java for Parallel Computing - JCSP versus CTJ db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Nan C. Schaller, Gerald H. Hilderink, Peter H. Welch		200022 BibTEX Refer
Using occam-pi Primitives with the Cell Broadband Engine db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Damian J. Dimmich		20072 BibTEX Refer
Using records and pointers with occam 2.5 db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Michael D. Poole		199512 BibTEX Refer
Using transputers in an ethernet environment db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Roger M. A. Peel		19886 BibTEX Refer
Using transputers in finite elements calculations: A first approach db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
J. S. R. Filho Alves, D. R. J. Owen		198713 BibTEX Refer
Using Transputers to Simulate Optoelectronic Computers db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
I. Cramb, C. Upstill		199010 BibTEX Refer
Using Two-, Four- and Eight-Way Multiprocessors as Cluster Components db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Brian Vinter, Otto J. Anshus, Tore Larsen, John Markus Bjørndalen		200120 BibTEX Refer
Verification of a Dynamic Channel Model using the SPIN Model-Checker db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Rune Møllegard Friborg, Brian Vinter		201120 BibTEX Refer
Verification of JCSP Programs db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, Peter H. Schmitt		200516 BibTEX Refer
Verifying the CPA Networking Stack using SPIN/Promela db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Kevin Chalmers, Jon Kerridge		201314 BibTEX Refer
Video Processing in occam-pi db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Carl G. Ritson, Adam T. Sampson, Frederick R. M. Barnes		200619 BibTEX Refer
View-Centric Reasoning for Linda and Tuple Space Computation db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Marc L. Smith, Rebecca J. Parsons, Charles E. Hughes		200232 BibTEX Refer
Virtual Machine Based Debugging for occam-π db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Carl G. Ritson, Jonathan Simpson		200815 BibTEX Refer
Virtual memory management for the transputer db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
P. J. Bakkes		19886 BibTEX Refer
Virtualising communication in the C-NET high level programming environment db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Jean_Marc Adamo, J. Bonneville, C. Bonello		199011 BibTEX Refer
Vision Simulation on Distributed Systems db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
C-M. Spahn		19937 BibTEX Refer
Visual Process-Oriented Programming for Robotics db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Jonathan Simpson, Christian L. Jacobsen		200816 BibTEX Refer
Visualization of 3D emperical data: The VOXEL processor db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
W. Huiskamp, P. M. Elgerhuizen, A. A. J. Langenkamp, P. L. J. van Lieshout		198913 BibTEX Refer
WEAVE: A System for Dynamic Configuration of Virtual Links db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
S. R. Harrison, Chris R. Brown		199714 BibTEX Refer
Working towards a successor to occam db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Ian R. East		200112 BibTEX Refer
Working Towards the Agreement Problem Protocol Verification Environment db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
James S. Pascoe, Roger J. Loader, Vaidy S. Sunderam		200118 BibTEX Refer
XCHANs: Notes on a New Channel Type db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Øyvind Teig		201216 BibTEX Refer
YASS: a Scalable Sensornet Simulator for Large Scale Experimentation db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Jonathan Tate, Iain Bate		200820 BibTEX Refer

If you have any comments on this database, including inaccuracies, requests to remove or add information, or suggestions for improvement, the WoTUG web team are happy to hear of them. We will do our best to resolve problems to everyone's satisfaction.

Copyright for the papers presented in this database normally resides with the authors; please contact them directly for more information. Addresses are normally presented in the full paper.

Pages © WoTUG, or the indicated author. All Rights Reserved.
Comments on these web pages should be addressed to: www at wotug.org

Valid HTML 4.01!