WoTUG - The place for concurrent processes

List all Papers

Formats
"Do it yourself" shared memory instruction sets in occam M. I. Cole199010 BibTEX Refer
3D medical graphics -- using the T800 transputer A. C. Tan, R. Richards, A. D. Linney19888 BibTEX Refer
A 40 Gbit/s Network Processor Design Platform R. McConnell, P. Winser200120 BibTEX Refer
A CASE Tool for Designing Deadlock-Free OCCAM Programs W. D. Crowe, R. Hasson, P. E. D. Strain-Clark198913 BibTEX Refer
A Cell Transterpreter Damian J. Dimmich, Christian L. Jacobsen, Matthew C. Jadud200610 BibTEX Refer
A Circus Development and Verification of an Internet Packet Filter. Alistair A. McEwan200624 BibTEX Refer
A Communicating Threads Case Study: JIWY Jan F. Broenink, Gerald H. Hilderink, Dusko S. Jovanovic200210 BibTEX Refer
A communication processor on the transputer Herman Roebbers, Marnix Vlot19899 BibTEX Refer
A Comparison Of Data-Parallel Programming Systems With Accelerator Alex Cole, Alistair A. McEwan, Satnam Singh201120 BibTEX Refer
A Comparison of High Performance, Parallel Computing Java Packages Nan C. Schaller, Sidney W. Marshall, Yu-Fong Cho200316 BibTEX Refer
A Comparison of Linda Implementations in Java George Wells, Peter Clayton, Alan G. Chalmers200014 BibTEX Refer
A Comparison of Message Passing Interface and Communicating Process Architecture Networking Communication Performance Kevin Chalmers201214 BibTEX Refer
A Comparison of Parallel Implementations of Flux Corrected Transport Codes Jing-ming Jong, G. S. Stiles198916 BibTEX Refer
A Comparison of Three MPI Implementations Brian Vinter, John Markus Bjørndalen200410 BibTEX Refer
A comparison of two notations for programming image processing applications on transputers Philip J. Morrow198810 BibTEX Refer
A Concurrent Algorithm for the Reconstruction of Nuclear Magnetic Resonance Scanner Images D. R. K. Rao, R. A. Bacon199310 BibTEX Refer
A concurrent approach to the Towers of Hanoi W. D. Crowe, P. E. D. Strain-Clark198810 BibTEX Refer
A CPA Series Ian R. East20121 BibTEX Refer
A Critique of JCSP Networking Kevin Chalmers, Jon Kerridge, Imed Romdhani200821 BibTEX Refer
A Cruise Control in occam based on an Implementation of KRoC on the Philips 8051 Microcontroller Frank T. M. van Vugt, André W. P. Bakkers200016 BibTEX Refer
A CSP Model for Mobile Channels Peter H. Welch, Frederick R. M. Barnes200817 BibTEX Refer
A CSP-based Processing Architecture for a Flexible MIMO-OFDM Testbed H. S. Cronie, F. W. Hoeksema, C. H. Slump20039 BibTEX Refer
A Deadlock Detection Tool for Occam Wouter Joosen, Pierre Verbaeten198919 BibTEX Refer
A deadlock-free communication system for a transputer network E. Gallizzi, M. Cannataro, G. Spezzano, Domenico Talia199011 BibTEX Refer
A Debugger for Communicating Scala Objects Andrew Bate, Gavin Lowe201220 BibTEX Refer
A Denotational Study of Mobility Joël-Alexis Bialkiewicz, Frederic Peschanski200923 BibTEX Refer
A Development Method Boosted by Synchronous Active Objects Claude Petitpierre200316 BibTEX Refer
A distributed architecture for simulating microprocessor systems I. Gorton198711 BibTEX Refer
A Distributed I/O Communication Protocol for a Network of Transputers Runhe Huang, Mike Morgan199511 BibTEX Refer
A Distributed Logic Programming Language and its Implementation on Transputer Networks José A. Cardoso Cunha, Pedro A. Duarte Medeiros, Luis M. Pereira199012 BibTEX Refer
A Distributed Multi-Agent Control System for Power Consumption in Buildings Anna Kosek, Oliver Gehrke201216 BibTEX Refer
A Distributed Parallel Processing System for the StrongARM Microprocessor Brian C. O'Neill, G. C. Coulson, Adam K. L. Wong, R. Hotchkiss, J. H. Ng, S. Clark, P. D. Thomas, A. Cawley199810 BibTEX Refer
A Distributed Real Time Java System Based on CSP Gerald H. Hilderink, Jan F. Broenink, André W. P. Bakkers199914 BibTEX Refer
A Dynamic Switch for Transputer Links Jaap Hofstede, Andre Lensink199011 BibTEX Refer
A fast C Kernel for Portable occam Compilers Barry M. Cook199519 BibTEX Refer
A Fast Resolution of Choice between Multiway Synchronisations Peter H. Welch20061 BibTEX Refer
A Fault-Tolerant On-board Computer for Space Applications Helano de Sousa Castro, João Reinaldo Imbiriba Jr, Jarbas Aryel N. Silveira, Valdivino Santiago, Antônio Miguel Vieira Monteiro199812 BibTEX Refer
A Foreign Function Interface Generator for occam-pi Damian J. Dimmich, Christian L. Jacobsen200514 BibTEX Refer
A formal top-down developement method for occam programs Donal Roantree, Maurice Clint199025 BibTEX Refer
A general-purpose parallel programming environment Mark Debbage, Mark Hill, Denis A. Nicole199110 BibTEX Refer
A Generally Configurable Multigrid Implementation for Transputer Networks Osama El-Giar, Tim Hopkins19899 BibTEX Refer
A Graphical Modeling Language for Specifying Concurrency based on CSP Gerald H. Hilderink200230 BibTEX Refer
A high level software and environment for transputer based systems Adrian J. West, Peter C. Capon199011 BibTEX Refer
A High Performance Reconfigurable Architecture for Flash File Systems Irfan Mir, Alistair A. McEwan, Neil J. Perrins201214 BibTEX Refer
A JCSP.net Implementation of a Massively Multiplayer Online Game Shyam Kumar, G. S. Stiles200615 BibTEX Refer
A medium grained parallel computer for image processing R. Cok198812 BibTEX Refer
A method for monitoring occam internal channels A. d'Acierno, Giuseppe de Pietro, Umberto Villano19908 BibTEX Refer
A Model for Concurrency Using Single-Writer Single-Assignment Variables Matthew Huntbach201118 BibTEX Refer
A multimodal robotic control law modelled and implemented by the CSP - GML/CT framework Gerald H. Hilderink, Dusko S. Jovanovic, Jan F. Broenink200320 BibTEX Refer
A Multiprocessor OCCAM Development System for UNIX Network Clusters D. G. Patrick, P. R. Green, T. A. York19971 BibTEX Refer
A Native Transterpreter for the LEGO Mindstorms RCX Jonathan Simpson, Christian L. Jacobsen, Matthew C. Jadud200710 BibTEX Refer
A new adaptive algorithm for the solution of systems of linear equations Rudnei Dias da Cunha, Tim Hopkins199115 BibTEX Refer
A novel architecture for data-aquisition and on-line analysis in high-energy physiscs experimentation 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 Waard19897 BibTEX Refer
A Parallel Architecture for Efficient Clash Detection A. Battersby, Janet Edwards19948 BibTEX Refer
A parallel processing architecture for ODEs J. M. Favre, C. S. Coray198713 BibTEX Refer
A Parallel Programming Methodology Based on Paradigms Fethi A. Rabhi199513 BibTEX Refer
A parallel semantic net engine and its application to data modeling Y. N. Lee199012 BibTEX Refer
A PCI-based Network Interface Controller for IEEE 1355 DS-Links Marcel Boosten, R. W. Dobinson, B. Martin, P. D. V. van der Stok199820 BibTEX Refer
A Personal Perspective on the State of HPC in 2013 Christopher C.R. Jones20138 BibTEX Refer
A Plug-in Disk-Interface Process for the WSQL Data Access Controller R. Kukla, Jon Kerridge199614 BibTEX Refer
A Predicate Transformer Semantics for a Concurrent Language of Refinement Ana Cavalcanti, Jim Woodcock200220 BibTEX Refer
A preprocessor to augment the description of occam processes for multitransputer machines Hiromi Ohara, Hajime Iizuka198810 BibTEX Refer
A process migration harness for dynamic load balancing S. A. Baker, K. R. Milner199110 BibTEX Refer
A Process Oriented Approach to USB Driver Development Carl G. Ritson, Frederick R. M. Barnes200716 BibTEX Refer
A Process-Oriented Architecture for Complex System Modelling Carl G. Ritson, Peter H. Welch200718 BibTEX Refer
A Programming Language for Hardware/Software Co-Design D. R. Watt, David May200112 BibTEX Refer
A Proposal for an Operating System for a Multi-Processor StrongARM System E. W. K. Liew, Brian C. O'Neill, Adam K. L. Wong, S. Clark, P. D. Thomas, R. Cant199910 BibTEX Refer
A prototype simulator output movie system based on parallel processing technology N. Carmichael, D. Hewson, J. van der Vorst19887 BibTEX Refer
A real time prolog compiler for multi- transputer architectures for knowledge based systems applications D. Bosley, J. Mortimer198710 BibTEX Refer
A Reconfigurable Host Interconnection Scheme for Occam-Based Field Programmable Gate Arrays Roger M. A. Peel200114 BibTEX Refer
A Reconfigurable System-on-Chip Architecture for Pico-Satellite Missions Tanya Vladimirova, Xiaofeng Wu200710 BibTEX Refer
A Scalable Communication Network for a Parallel Database Machine David Walter, Jon Kerridge199116 BibTEX Refer
A Self-Configuring Distributed Kernel for Satellite Networks Scott Cannon, Larry Denys200012 BibTEX Refer
A simple parallel algebraic multigrid Guy Robinson199114 BibTEX Refer
A Single Chip Solution for Distributed Processing Systems Brian C. O'Neill, P.W. Moore, S. Clark20038 BibTEX Refer
A Software Developement Environment for Parallel Image Processing: Implementation techniques and issues D. Crookes, Philip J. Morrow, I. McClatchey, T. Rafferty19917 BibTEX Refer
A Software Development Tool for Parallel and Distributed Systems R. D. Stone, D. R. Morse199614 BibTEX Refer
A state-of-the-art radar pulse deiterleaver S. P. Turner, Rick D. Beton, C. Upstill19888 BibTEX Refer
A Step Towards Refining and Translating B Control Annotations to Handel-C Wilson Ifill, Steve Schneider200726 BibTEX Refer
A structural dynamics problem on a network of transputers A. Cosnuau198925 BibTEX Refer
A Study Into the Modelling and Analysis of Real-Time FPGA Based Systems Irfan Mir20091 BibTEX Refer
A Study of Percolation Phenomena in Process Networks Oliver Faust, Bernhard H.C. Sputh, Alastair R. Allen200613 BibTEX Refer
A System Configuration for very large Database Problems [Extended Abstract] Alan G. Chalmers, Derek J. Paddon19894 BibTEX Refer
A Systems Re-engineering Case Study: Programming Robots with occam and Handel-C Dan Slipper, Alistair A. McEwan201111 BibTEX Refer
A talking bee on the transputer D. Ellison, L. Natanson198814 BibTEX Refer
A Technique for Checking the CSP sat Property Jeremy M. R. Martin, S. A. Jassim199818 BibTEX Refer
A Technique for Fast Pre-emptions in a Multi-Priority Environment K. M. Shea, M. H. Cheung, Francis C. M. Lau199312 BibTEX Refer
A tool for optimisation of program execution in dynamic topology systems Tomasz Kalinowski199711 BibTEX Refer
A Tool for Proving Deadlock Freedom Jeremy M. R. Martin, S. A. Jassim199716 BibTEX Refer
A transform accelerator for a transputer system C. J. Dodge, P. G. B. Ross, P. E. Undrill, Alastair R. Allen199215 BibTEX Refer
A transputer based active vision system Andrew B. Smith, Peter H. Welch199210 BibTEX Refer
A transputer based neurocomputer A. Johannet, G. Loheac, L. Personnaz, I. Guyon, G. Dreyfus19878 BibTEX Refer
A transputer based visual system A. A. J. Langenkamp, P. M. Elgershuizen, W. Huiskamp, P. L. J. van Lieshout198911 BibTEX Refer
A transputer implementation of a runtime timing constraint-monitor Fergus E. Fletcher199515 BibTEX Refer
A transputer network simulator Y. Kermarrec, R. Rannou198716 BibTEX Refer
A transputer-based accelerator for digital circuits fault simulation G. P. Balboni, G. P. Cabodi, S. Gai, M. Sonza Reorda19927 BibTEX Refer
A transputer-based architecture for graphics M. Meriaux, A. Atamenia, E. Lepretre198710 BibTEX Refer
A Transputer-Based Prolog Distributed Processor L. Aroujo, J. J. Ruz199415 BibTEX Refer
A Transputer-based Workstation Accelerator for Optimisation Algorithms F. W. D. Woodhams, W. L. Price19906 BibTEX Refer
A Unifying Theory of True Concurrency Based on CSP and Lazy Observation Marc L. Smith200512 BibTEX Refer
A Versatile Hardware-Software Platform for In-Situ Monitoring Systems Bernhard H.C. Sputh, Oliver Faust, Alastair R. Allen200714 BibTEX Refer
abstracts data types and occam Jon Kerridge, Sue Wright, Richard J. Oates198917 BibTEX Refer
Acceptances, Behaviours and Infinite Activity in CSPP Adrian E. Lawrence200222 BibTEX Refer
Accurate Calculation of Deme Sizes for a Parallel Genetic Scheduling Algorithm M. Moore20039 BibTEX Refer
Active Serial Port: A Component for JCSPNet Embedded Systems Sarah Clayton, Jon Kerridge200414 BibTEX Refer
Adapted OS Link / DS Link Protocols for Use in Mutliprocessor Routing Networks S. Triger, Brian C. O'Neill, S. Clark200112 BibTEX Refer
Adaptive routing techniques in simulated computer networks M. C. Bowler, M. J. Morse, N. Frydas198810 BibTEX Refer
Adding Formal Verification to occam-π Peter H. Welch, Jan Bækgaard Pedersen, Frederick R. M. Barnes, Carl G. Ritson, Neil C.C. Brown20111 BibTEX Refer
Adding Mobility to Networked Channel-Types Mario Schweigler200420 BibTEX Refer
Advanced Silicon Prototyping in a Reconfigurable Environment Matt Aubury, Ian Page, Dominic Plunkett, Matthias Sauer, Jonathan Saul199812 BibTEX Refer
Advanced System Simulation, Emulation and Test (ASSET) Gregory Wickstrom200722 BibTEX Refer
Agents for Concurrent Programming Enrique Gonzalez, Cesar Bustacara, Jamir Avila200310 BibTEX Refer
Algebras of Actions in Concurrent Processes Mark Burgin, Marc L. Smith20072 BibTEX Refer
Am interactive graphical debugger for occam programs N. Abdennadher, J. C. Angue19908 BibTEX Refer
An A/D D/A board using IEEE-1355 DS-Links for Heterogeneous Multiprocessor Environment O. J. Greve, M. H. Schwirtz, Gerald H. Hilderink, Jan F. Broenink, André W. P. Bakkers199812 BibTEX Refer
An Algorithm for Caching Software to Configurable Hardware J. D. Campbell199910 BibTEX Refer
An analysis and reconfiguration tool for mapping parallel programs onto transputer networks D. Ch. Meier, A. Wespi, J. E. Boillat, P. G. Kropf19879 BibTEX Refer
An Application of CoSMoS Design Methods to Pedestrian Simulation Sarah Clayton, Neil Urquhart, Jon Kerridge20098 BibTEX Refer
An application of ultrasonic signal processing in a mixed system of transputers and digital signal processors Alastair R. Allen, Dalan Wang19904 BibTEX Refer
An Appreciation of the Subtleties of Shared Channels in occam3 S. W. Waithe, Jon Kerridge199314 BibTEX Refer
An assessment of the use of occam for dependable real-time systems A. Burns, A. J. Wellings, Hussein S. M. Zedan19908 BibTEX Refer
An Automatic Translation of CSP to Handel-C Jonathan D. Phillips, G. S. Stiles200420 BibTEX Refer
An efficient global convergence detection scheme for parallel algorithms on transputer network K. G. Kumar, A. Basu, S. Srinivas, A. Paulraj199012 BibTEX Refer
An efficient multi- priority scheduler for the transputer K. M. Shea, M. H. Cheung, Francis C. M. Lau199215 BibTEX Refer
An environment for investigating the effectiveness of process migration strategies on transputer-based machines Joe Philips, Rosemary Candlin199211 BibTEX Refer
An environment for transputer CPU load measurements Giuseppe de Pietro, Umberto Villano19909 BibTEX Refer
An Evaluation of Intel's Restricted Transactional Memory for CPAs Carl G. Ritson, Frederick R. M. Barnes201322 BibTEX Refer
An Evaluation of Inter-Switch Connections Hans Henrik Happe, Brian Vinter200410 BibTEX Refer
An Execution Harness for Transputer Based Embedded Systems P. Burgess, M. J. Livesey, C. Allison199316 BibTEX Refer
An Experiment with Recursion in occam David C. Wood200012 BibTEX Refer
An Extended Version of Linda for Transputer Systems Peter Clayton, George Wells, Alan G. Chalmers19968 BibTEX Refer
An extension of the processor farm using a tree architecture S. A. Green, Derek J. Paddon198818 BibTEX Refer
An Introduction to CSP.NET Alex Lehmberg, Martin N. Olsen200618 BibTEX Refer
An Introduction to Go Rick D. Beton20132 BibTEX Refer
An Introduction to the Kent C++CSP Library Neil C.C. Brown, Peter H. Welch200318 BibTEX Refer
An Investigation into Distributed Channel Mobility Support for Communicating Process Architectures Kevin Chalmers, Jon Kerridge200919 BibTEX Refer
An investigation of several parallel genetic algorithms Donald Macfarlane, Ian R. East19908 BibTEX Refer
An Irregular Distributed Simulation Problem with a Dynamic Logical Process Structure Ming Q. Xu, Stephen J. Turner, Nie Pin198911 BibTEX Refer
An MSDOS Based Graphics Library for PC Hosted Transputer Systems A. Battersby, Ian P. W. Sillitoe, Janet Edwards199411 BibTEX Refer
An Object Oriented Style for the Computing Surface Matthew Chalmers19899 BibTEX Refer
An occam architecture for reconfigurable systems M. H. Barton, N. J. Edwards198715 BibTEX Refer
An occam Model of XCHANs Peter H. Welch20132 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 Mark Heaps198913 BibTEX Refer
An OCCAM@ implementation of prolog and its preliminary performance Kang Zhang198814 BibTEX Refer
An Open Systems Strategy for Distributed occam Execution Paul Singleton, Barry M. Cook199716 BibTEX Refer
An operating environment for control systems K. C. J. Wijbrans, H. G. Tillema, André W. P. Bakkers, Albert L. Schoute199012 BibTEX Refer
An operational pattern recognition system on transputers E. Buitenwerf, J. R. van Dam, L. J. M. Nieuwenhuis19899 BibTEX Refer
An Optimised Parallel Compiler for Executing Declarative Programs on Transputer Array Wang Dingxing, Tian Xinmin, Zheng Weimin, Shen Meiming, Wen Dongchan199215 BibTEX Refer
An Overview of ASD - Formal Methods in Daily Use Guy Broadfoot20091 BibTEX Refer
Analysing gCSP Models Using Runtime and Model Analysis Algorithms Maarten M. Bezemer, Marcel A. Groothuis, Jan F. Broenink200922 BibTEX Refer
ANDES: A Performance Analyzer for Parallel Programs O. Naim, A. Teruel19939 BibTEX Refer
Another Side of SPoC: occam's ALTer Ego Dissected with PC-lint Øyvind Teig199918 BibTEX Refer
Applicability of a 16-node transputer array without external memory Patrick van Renterghem19898 BibTEX Refer
Application of occam to biological sequence comparisons Shane S. Sturrock, Ian Salmon199110 BibTEX Refer
Application of Transputer-based Parallel Computation in Matching Real-Time Control Models Tushar K. Hazra199516 BibTEX Refer
Architecture Design Space Exploration for Streaming Applications through Timing Analysis Maarten H. Wiggers, Nikolay Kavaldjiev, Gerard J. M. Smit, Pierre G. Jansen200515 BibTEX Refer
Aspects of database machine design using the H1, C104 and Occam91 Jon Kerridge, Richard J. Oates199115 BibTEX Refer
Assessing Application Performance in Degraded Network Environments: an FPGA-based Approach Mihai Ivanovici, Razvan Beuran, Neil Davies200511 BibTEX Refer
Asynchronous Active Objects in Java George Oprean, Jan Bækgaard Pedersen200818 BibTEX Refer
Attribute Evaluation on a Network of Transputers Matthijs F. Kuiper, Atze Dijkstra19898 BibTEX Refer
Auto-Mobiles: Optimised Message-Passing Neil C.C. Brown200914 BibTEX Refer
Automatic Conversion of CSP to CTJ, JCSP, and CCSP V. Raju, L. Rong, G. S. Stiles200319 BibTEX Refer
Automatic Design and Implementation of Microprocessors Ian Page199415 BibTEX Refer
Automatic Handel-C Generation from MATLAB® and Simulink® for Motion Control with an FPGA Bart Rem, Ajeesh Gopalakrishnan, Tom J. H. Geelen, Herman Roebbers200527 BibTEX Refer
Beauty And The Beast: Exploiting GPUs In Haskell Alex Cole, Alistair A. McEwan, Geoff Mainland201214 BibTEX Refer
Beyond Mobility - What Next After CSP/pi? Michael Goldsmith20096 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. Eric Verhulst199710 BibTEX Refer
BIONIVISION A laserscanner with transputers G. ter Reehorst, K. C. J. Wijbrans19899 BibTEX Refer
Blocking System Calls in KRoC/Linux Frederick R. M. Barnes200024 BibTEX Refer
BPU Simulator Martin Rehr, Kenneth Skovhede, Brian Vinter201316 BibTEX Refer
Broadcast communication in fault tolerant multicomputer systems K. Gresser19907 BibTEX Refer
BSP Modelling of Two Tiered Architectures Jeremy M. R. Martin, Alex V. Tiskin199910 BibTEX Refer
C++CSP Networked Neil C.C. Brown200416 BibTEX Refer
C++CSP2: A Many-to-Many Threading Neil C.C. Brown200724 BibTEX Refer
Cache-Affinity Scheduling for Fine Grain Multithreading Kurt Debattista, Kevin Vella, Joseph Cordina200212 BibTEX Refer
Cancellable Servers - a Pattern for Curiousity Peter H. Welch20121 BibTEX Refer
Cayley graphs and transputer network configuration Ian R. East, Sabah Jassim19907 BibTEX Refer
CCDM -- A Design Methodology for Modelling Communicating Code in Parallel Systems E. A. Cachia, Gordon A. Manson199315 BibTEX Refer
CCSP - A Portable CSP-Based Run-Time System Supporting C and occam James Moores199923 BibTEX Refer
CDL -- A distribution language for HELIOS C. H. R. Grimsdale19886 BibTEX Refer
Cellular automaton lattice gas hydrodynamics on a parallel supercomputer B. J. N. Wylie198810 BibTEX Refer
Chaining Communications Algorithms with CSP Oliver Faust, Bernhard H.C. Sputh, David Endler200414 BibTEX Refer
CHANnels to Deliver Memory? MOBILE Structures and ALTing over Memory? Øyvind Teig20014 BibTEX Refer
Classification of Programming Errors in Parallel Message Passing Systems Jan Bækgaard Pedersen200614 BibTEX Refer
Clocks Adam T. Sampson, Neil C.C. Brown20091 BibTEX Refer
Cluster Computing and JCSP Networking Peter H. Welch, Brian Vinter200220 BibTEX Refer
Combining configuration and allocation Dong-Hui Du, Guy Vidal-Naquet199010 BibTEX Refer
Combining EDF Scheduling with occam using the Toc Programming Language Martin Korsgaard, Sverre Hendseth200812 BibTEX Refer
Combining Partial Order Reduction with Bounded Model Checking José Vander Meulen, Charles Pecheur200920 BibTEX Refer
Commodity High Performance Computing at Commodity Prices Simon J. Cox, Denis A. Nicole, Kenji Takeda19988 BibTEX Refer
Communicating Haskell Processes: Composable Explicit Concurrency Using Monads Neil C.C. Brown200817 BibTEX Refer
Communicating Java Threads Gerald H. Hilderink, Jan F. Broenink, Wiek Vervoort, André W. P. Bakkers199729 BibTEX Refer
Communicating Java Threads Reference Manual Gerald H. Hilderink199743 BibTEX Refer
Communicating Mobile Processes Frederick R. M. Barnes, Peter H. Welch200418 BibTEX Refer
Communicating Process Architecture for Multicores David May200712 BibTEX Refer
Communicating Scala Objects Bernard Sufrin200820 BibTEX Refer
Communicating Threads for Java Jan F. Broenink, André W. P. Bakkers, Gerald H. Hilderink199920 BibTEX Refer
Communication and Synchronisation in the Cell Processor H. Peter Hofstee20051 BibTEX Refer
Compile-Time Techniques for Mapping Loop Parallelism R. Sakellariou19978 BibTEX Refer
Compiling CSP Frederick R. M. Barnes200612 BibTEX Refer
Compiling occam to C with Tock Adam T. Sampson20072 BibTEX Refer
Components with Symbolic Transition Systems: a Java Implementation of Rendezvous Fabricio Fernandes, Robin Passama, Jean-Claude Royer200720 BibTEX Refer
Compositions of Concurrent Processes Mark Burgin, Marc L. Smith200616 BibTEX Refer
Computational statistics on a multi-transputer architecture D. Lafaye de Micheaux, A. Maurin198726 BibTEX Refer
Concurrency Control and Recovery Management for Open e-Business Transactions Amir R. Razavi, Sotiris K. Moschoyiannis, Paul J. Krause200720 BibTEX Refer
Concurrency First (but we'd better get it right!) Peter H. Welch20091 BibTEX Refer
Concurrency in database management systems design and implementation M. E. C. Hull, F. J. Bell198824 BibTEX Refer
Concurrency in Industry (Wot, no CSPs?) Johan P. E. Sunter20001 BibTEX Refer
Concurrent Event-driven Programming in occam-π for the Arduino Christian L. Jacobsen, Matthew C. Jadud, Omer Kilic, Adam T. Sampson201117 BibTEX Refer
Concurrent/Reactive System Design with Honeysuckle Ian R. East200710 BibTEX Refer
Conditional Communication in the Presence of Priority Gerald H. Hilderink, Jan F. Broenink200022 BibTEX Refer
Configurable Collective Communication in LAM-MPI John Markus Bjørndalen, Otto J. Anshus, Tore Aarsen, Brian Vinter200212 BibTEX Refer
Configuration Discovery and Mapping of a Home Network Keith Pugh200212 BibTEX Refer
Configuration tools for a transputer workstation Peter R. Croll, Gordon A. Manson198913 BibTEX Refer
Conflict Free Hardware Routing for Communication Bound Applications M. P. Craven, K. M. Curtis, S. A. Wilde, Brian C. O'Neill, J. W. Ellis199614 BibTEX Refer
CONPASU-tool: A Concurrent Process Analysis Support Tool based on Symbolic Computation Yoshinao Isobe201122 BibTEX Refer
Consolidating The Agreement Problem Protocol Verification Environment James S. Pascoe, Roger J. Loader200222 BibTEX Refer
Control of a servo loop for a vision system Tonny Stavenuiter, Herman Roebbers199013 BibTEX Refer
Cooperative priority scheduling in occam Johan P. E. Sunter, K. C. J. Wijbrans, André W. P. Bakkers199011 BibTEX Refer
Copying, Moving and Borrowing Semantics David May, Henk Muller200112 BibTEX Refer
Costing by Construction Greg Michaelson20132 BibTEX Refer
CPA Survival Guide Herman Roebbers20091 BibTEX Refer
CS-Prolog -- Parallel programming in logic with transputers Steffen Schulze-Kremer199014 BibTEX Refer
CSP and Real-Time: Reality or Illusion? Bojan Orlic, Jan F. Broenink200730 BibTEX Refer
CSP as a Domain-Specific Language Embedded in Python and Jython Sarah Mount, Mohammad Hammoudeh, Sam Wilson, Robert Newman200917 BibTEX Refer
CSP Design Model and Tool Support H. J. Volkerink, Gerald H. Hilderink, Jan F. Broenink, W.A. Veroort, André W. P. Bakkers200016 BibTEX Refer
CSP for .NET Based on JCSP Kevin Chalmers, Sarah Clayton200618 BibTEX Refer
CSP for Java: Multithreading for All André W. P. Bakkers, G. S. Stiles, Peter H. Welch, Gerald H. Hilderink19993 BibTEX Refer
CSP++: How Faithful to CSPm? W. B. Gardner200518 BibTEX Refer
CSP/occam on Shared Memory Multiprocessor Workstations Kevin Vella, Peter H. Welch199934 BibTEX Refer
CSP: Arriving at the CHANnel Island (an Industrial Practitioner's Diary: in Search of a New Fairway) Øyvind Teig200012 BibTEX Refer
CSP: The Best Concurrent-System Description Language in the World - Probably! Michael Goldsmith20046 BibTEX Refer
CSPBuilder - CSP based Scientific Workflow Modeling Rune Møllegard Friborg, Brian Vinter200817 BibTEX Refer
CSPP and Event Priority Adrian E. Lawrence200126 BibTEX Refer
C_NET A C++ Based Language For Distributed And Real Time Programming Jean_Marc Adamo198912 BibTEX Refer
Data Escape Analysis for Process Oriented Systems Martin Ellis, Frederick R. M. Barnes20122 BibTEX Refer
Data Mining in Parallel Sarabjot S. Anand, C. Mary Shapcott, David A. Bell, John G. Hughes199512 BibTEX Refer
Data structures for parallel architectures in artificial intelligence A. Dixon198713 BibTEX Refer
Data-Strobe Links and Virtual Channel Processors Barry M. Cook199714 BibTEX Refer
Debugging and Verification of Parallel Systems - the picoChip Way Andrew Duller, Gajinder Panesar, Daniel Towner200414 BibTEX Refer
Dedicated Multi-Priority Scheduling E. Ploeg, Johan P. E. Sunter, André W. P. Bakkers, Herman Roebbers199414 BibTEX Refer
Demonstration of the LUNA Framework Robert J.W. Wilterdink, Maarten M. Bezemer, Jan F. Broenink20111 BibTEX Refer
Design and Implementation of Complex Telecom Processes using State Machine Concepts V. Matic19968 BibTEX Refer
Design and Monitoring Systems for Parallel Programming Alexander J. Katalov, Vladimir J. Katalov, Vladimir K. Nikolaev199828 BibTEX Refer
Design and Use of CSP Meta-Model for Embedded Control Software Development Maarten M. Bezemer, Robert J.W. Wilterdink, Jan F. Broenink201216 BibTEX Refer
Design of a High Performance Protocol Analysis system using transputers Sarvajna Kazi, Robert D. Hockman199010 BibTEX Refer
Design of a real-time operating system (RTOS) for robot control André W. P. Bakkers, R. Van Rooij, L. James198710 BibTEX Refer
Design of a Transputer Core and Implementation in an FPGA Makoto Tanaka, Naoya Fukuchi, Yutaka Ooki, Chikara Fukunaga200412 BibTEX Refer
Design Patterns for Communicating Systems with Deadline Propagation Martin Korsgaard, Sverre Hendseth200913 BibTEX Refer
Design Principles of the SystemCSP Software Framework Bojan Orlic, Jan F. Broenink200722 BibTEX Refer
Designing a Concurrent File Server James Whitehead201214 BibTEX Refer
Designing a Mathematically Verified I2C Device Driver using ASD Arjen Klomp, Herman Roebbers, Ruud Derwig, Leon Bouwmeester200912 BibTEX Refer
Designing Animation Facilities for gCSP Hans T.J. van der Steen, Marcel A. Groothuis, Jan F. Broenink20081 BibTEX Refer
Designing with Software Defined Silicon A. Dixon20081 BibTEX Refer
Deterministic Message Routing for Safety-Critical Applications Peter R. Croll199113 BibTEX Refer
Developement methods and occam David M. Gee, Barry P. Worrall, W. D. Henderson199112 BibTEX Refer
Developing an optimising compiler for occam Spiridon Kalogeropoulos199810 BibTEX Refer
Developing Embedded Appliations in an Array of Specialised Transputer Modules R. Storer, D. J. Milford, E. L. Dagless, J. A. Bulas~Cruz199415 BibTEX Refer
Developing JIWY using TERRA Maarten M. Bezemer, Robert J.W. Wilterdink, Jan F. Broenink20121 BibTEX Refer
Development of a Family of Multi-Core Devices Using Hierarchical Abstraction Andrew Duller, Alan Gray, Daniel Towner, Jamie Iles, Gajinder Panesar, Will Robbins200714 BibTEX Refer
Development of an ML based Verification Tool for Timed CSP Processes Takeshi Yamakawa, Tsuneki Ohashi, Chikara Fukunaga201113 BibTEX Refer
Diffusion limited aggregation: An example of real-time parallelisation D. R. Morse, A. M. Welch, Peter H. Welch199014 BibTEX Refer
Discrete event simulation using occam Christopher H. Nevison19899 BibTEX Refer
Distributed Computing using Channel Communications in Java Andreas Ripke, Alastair R. Allen, Y. Feng200014 BibTEX Refer
Distributed Monte Carlo Techniques for Interactive Photo-Realistic Image Synthesis Jonathan Tidmus, Alan G. Chalmers, Roger Miles19949 BibTEX Refer
Distributed Shared Memory in Global Area Networks Hans Henrik Happe, Brian Vinter200314 BibTEX Refer
Distributing Concurrent Simulation Adam T. Sampson20111 BibTEX Refer
Distributing matrix eigenvalue calculations over transputer arrays Tim Hopkins, Barry Vowden19908 BibTEX Refer
Domain Specific Transformations for Hardware Ray Tracing Tim Todman, Wayne Luk200714 BibTEX Refer
DRAT -- A proposal for a dynamic reconfigurable array of transputers to support database applications Jon Kerridge198711 BibTEX Refer
Dynamic Allocation of Prcesses and Channels in T9000/C104 Networks Using occam 3 Jon Kerridge199417 BibTEX Refer
Dynamic BSP: Towards a Flexible Approach to Parallel Computing over the Grid Jeremy M. R. Martin, Alex V. Tiskin20048 BibTEX Refer
Dynamic Creation of Virtual Links within T9000 Networks S. R. Harrison, Chris R. Brown199610 BibTEX Refer
Dynamic Process Interaction Lajos Schrettner, Innes Jelly199713 BibTEX Refer
Dynamic processes in occam I. A. Horton, Stephen J. Turner198812 BibTEX Refer
Dynamic Real-Time Scheduling for a Parallel Production System on an Enhanced Transputer Array P. W. A. Stallard, R. W. Dunn, A. R. Daniels199314 BibTEX Refer
Dynamicity through Occam and TDS D. Millot, J. Vautherin19899 BibTEX Refer
Economics of Cloud Computing: a Statistical Genetics Case Study Jeremy M. R. Martin, Steven J. Barrett, Simon J. Thornber, Silviu-Alin Bacanu, Dale Dunlap, Steve Weston200911 BibTEX Refer
Efficiency Measurements in Heterogeneous Transputer Systems A. Mazzeo, N. Mazzocca, Umberto Villano199410 BibTEX Refer
Efficient Execution of Process Networks T. Basten, J. Hoogerbrugge200114 BibTEX Refer
Efficient Simulation of CSP-Like Languages Thomas Gibson-Robinson201320 BibTEX Refer
Emulating a Secure Multicasting Bus using occam 2.1 David J. Beckett, Peter H. Welch199616 BibTEX Refer
Engineering Emergence: an occam-pi Adventure Peter H. Welch, Kurt Wallnau, Mark Klein20091 BibTEX Refer
Evaluating An Emergent Behaviour Algorithm for Energy Conservation in Lighting Systems Using JCSP Anna Kosek, Aly Syed, Jon Kerridge201114 BibTEX Refer
Evaluation of a set of message- passing routines on transputer networks Wentong Cai, David B. Skillicorn199213 BibTEX Refer
Evaluation of two systems for distributed message passing in transputer networks N. N. Avramov, A. E. Knowles199013 BibTEX Refer
Event-Based Design of Concurrent Programs with Java Implementation H. Rischel, H. Sun200112 BibTEX Refer
Exception Handling and Checkpointing in CSP Mads Ohm Larsen, Brian Vinter201212 BibTEX Refer
Exception Handling Mechanism in Communicating Threads for Java Gerald H. Hilderink200518 BibTEX Refer
Expanding the Message Passing Library Model with Nested Parallelism C. Rodriguez, F. Sande, C. León, F. Garcia19978 BibTEX Refer
Experimental studies of conservative distributed discrete-event simulation on transputer networks W. Cal, Stephen J. Turner199010 BibTEX Refer
Experiments in algorithmic parallelism Peter C. Capon198914 BibTEX Refer
Experiments in Multicore and Distributed Parallel Processing using JCSP Jon Kerridge201112 BibTEX Refer
Experiments in Translating CSP||B to Handel-C Steve Schneider, Helen Treharne, Alistair A. McEwan, Wilson Ifill200819 BibTEX Refer
Experiments with a transputer-based diffusion architecture D. McBurney, M. R. Sleep198712 BibTEX Refer
Exploring GPGPU Acceleration of Process-Oriented Simulations Frederick R. M. Barnes, Thomas Pressnell, Brendan Le Foll201314 BibTEX Refer
Exploring Peer-to-Peer Virtualized Multithreaded Services Kevin Vella20111 BibTEX Refer
Extended Transputer Code -- a Target-Independent Representation of Parallel Programs Michael D. Poole199812 BibTEX Refer
Extending CSP Adrian E. Lawrence199822 BibTEX Refer
Extending CSP with Tests for Availability Gavin Lowe200923 BibTEX Refer
Farming: Towards a rigorous definition and efficient transputer implementation Warren Day199214 BibTEX Refer
Fast Data Sharing within a Distributed, Multithreaded Control Framework for Robot Teams Albert L. Schoute, Remco Seesink, Werner Dierssen, Niek Kooij20058 BibTEX Refer
Fast Distributed Process Creation with the XMOS XS1 Architecture James Hanlon, Simon J. Hollis201113 BibTEX Refer
Fast fourier transform on transputers Aman Khan, Nelson Stephens19919 BibTEX Refer
Fast prototyping of architectural designs using transputers David B. Skillicorn19884 BibTEX Refer
Fault tolerant computing with transputers and occam L. J. M. Nieuwenhuis, G. D. Blom199011 BibTEX Refer
FDR3: the Future of CSP Model Checking Thomas Gibson-Robinson20132 BibTEX Refer
Fine Grain Parallel Processing on Commodity Platforms R. W. Dobinson, P. D. V. van der Stok, Marcel Boosten199914 BibTEX Refer
Fine-grain Concurrency Tony Hoare200720 BibTEX Refer
Fine-grained global control constructs for parallel programming environments Marek Tudruj199715 BibTEX Refer
Finitary Refinement Checks for Infinitary Specifications A. W. Roscoe200418 BibTEX Refer
Flexible, Transparent and Dynamic occam Networking With KRoC.net Mario Schweigler, Frederick R. M. Barnes, Peter H. Welch200326 BibTEX Refer
Focussing on Traces to Link VCR and CSP Marc L. Smith20048 BibTEX Refer
Formal Analysis of Concurrent Java Systems Peter H. Welch, Jeremy M. R. Martin200027 BibTEX Refer
Formal Analysis of Concurrent OS (RMoX) Device Drivers Martin Ellis20111 BibTEX Refer
Formal Contracts: Enabling Component Composition Marcel Boosten200313 BibTEX Refer
Formal methods in the design of the T9000 Geoff Barrett, David May, D. Shepard199218 BibTEX Refer
FPGA Based Control of a Production Cell System Marcel A. Groothuis, Jasper J.P. Van Zuijlen, Jan F. Broenink200814 BibTEX Refer
From Object Oriented Analysis to Implementation using occam Rick D. Beton199614 BibTEX Refer
From Safe Concurrent Processes to Process-Classes? PLUSSING New Code by ROLLING out and Compile? Øyvind Teig200122 BibTEX Refer
Gaussian Pyramidal Fast Filtering and Parallel Implementation N. Tonfack E. Leclercq, A. Faure199616 BibTEX Refer
gCSP occam Code Generation for RMoX Marcel A. Groothuis, Geert K. Liet, Jan F. Broenink20059 BibTEX Refer
GECKO: A graphical tool for the modelling and manipulation of occam software and transputer hardware topologies Marc Stephenson, Olivier Boudillet19886 BibTEX Refer
General purpose parallel computers: a standard architecture with a standard programming interface Geoff Barrett, Eric Barton, Trevor Carden, Dominique Duval, Denis A. Nicole199210 BibTEX Refer
Global Time Measurements in Transputer Networks Giuseppe de Pietro, Umberto Villano199314 BibTEX Refer
Globally-Connected Fault-Tolerant Systems Peter Thompson199314 BibTEX Refer
Graceful termination -- graceful resetting Peter H. Welch19898 BibTEX Refer
GRAIL -- Graphical representation of activity, interconnection and loading S. Stepney, GRAIL19879 BibTEX Refer
Graphical Tool for Designing CSP Systems Jan F. Broenink, Dusko S. Jovanovic200420 BibTEX Refer
Groovy Parallel! A Return to the Spirit of occam? Jon Kerridge, Ken Barclay, John Savage200516 BibTEX Refer
Guarenteed Message Delivery Time on Real-Time Distributed Systems T. -Y. Yang, G. S. Stiles200118 BibTEX Refer
Guppy Frederick R. M. Barnes20111 BibTEX Refer
Handel-C Source Level Debugging Herman Roebbers20081 BibTEX Refer
Handel-C++ - Adding Syntactic Support to C++ Alex Cole20121 BibTEX Refer
Handshake Technology: High Way to Low Power Ad Peeters20051 BibTEX Refer
Hard and Soft Priority in CSP Adrian E. Lawrence199929 BibTEX Refer
Hardware for Transputing without Transputers C. P. H. Walker199610 BibTEX Refer
Hardware/Software Co-Design Language Development, An EngD Introduction Alex Cole20091 BibTEX Refer
Hardware/Software Synthesis and Verification Using Esterel Satnam Singh20078 BibTEX Refer
HCSP: Extending CSP for Codesign and Shared Memory Adrian E. Lawrence199824 BibTEX Refer
HCSP: Imperative State and True Concurrency Adrian E. Lawrence200218 BibTEX Refer
HELIOS -- An operating system for the transputer N. H. Garnett19879 BibTEX Refer
High Cohesion and Low Coupling: the Office Mapping Factor Øyvind Teig200710 BibTEX Refer
High Level Modeling of Channel-Based Asynchronous Circuits Using Verilog Arash Saifhashemi, Peter A. Beerel200514 BibTEX Refer
High performance event and I/O handling on the transputer R. G. Harley, D. C. Levy, A. W. M. Hemme, M. R. Webster199010 BibTEX Refer
Higher Levels of Process Synchronisation Peter H. Welch, David C. Wood199726 BibTEX Refer
Higher-Order Concurrency in Java Erik D. Demaine199714 BibTEX Refer
Highly transparent monitoring of parallel systems using "logical clocks" Wentong Cai, Stephen J. Turner198912 BibTEX Refer
Homogeneous Multiprocessing for Consumer Electronics Paul Stravers20051 BibTEX Refer
Host-independent access to transputers Roger M. A. Peel19906 BibTEX Refer
How to achieve replication within a CASE tool environment Gordon A. Manson, E. A. Cachia, A. Boyle199213 BibTEX Refer
How to Design Deadlock-Free Networks Using CSP and Verification Tools -- A Tutorial Introduction Jeremy M. R. Martin, S. A. Jassim199713 BibTEX Refer
How to Make a Process Invisible Neil C.C. Brown20081 BibTEX Refer
How to Soar with CSP Colin O'Halloran20081 BibTEX Refer
How To Write a Highly Parallel Program Geoff Barrett19939 BibTEX Refer
HW/SW Design Space Exploration on the Production Cell Setup Marcel A. Groothuis, Jan F. Broenink200916 BibTEX Refer
Hydra: A Python Framework for Parallel Computing Waide B. Tristram, Karen Bradshaw200914 BibTEX Refer
IC2IC: a Lightweight Serial Interconnect Channel for Multiprocessor Networks Oliver Faust, Bernhard H.C. Sputh, Alastair R. Allen200817 BibTEX Refer
ICR: A Transputer-Based Intelligent Character Reader Francis Wong F.S., Koh Liang Seng19898 BibTEX Refer
IEEE 1355 DS-Links: Present Status and Future Prospects 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. Ullod199812 BibTEX Refer
If Concurrency in Software is So Simple, Why is it So Hard? Guy Broadfoot20051 BibTEX Refer
Image processing on the reconfigurable transputer processor J. G. Harp, H. C. Webber19879 BibTEX Refer
Implementation of an Agent-based Model with TBB Technique Ye Li20121 BibTEX Refer
Implementation of back-propogation on a transputer array G. Richards19888 BibTEX Refer
Implementation of KRoC on Analog Devices "SHARC" DSP André W. P. Bakkers, G. W. Otten, M. H. Schwirtz, R. Bruis, Jan F. Broenink199612 BibTEX Refer
Implementation of learning automata games on a 128-transputer reconfigurable machine using VCR1.8c (Virtual Channel Router) Franciszek Seredynski, João Paulo Kitajima, Brigitte Plateau19925 BibTEX Refer
Implementation of real-time scheduling algorithms in a transputer environment Ole Caprani, Jens E. Kristensen, Claus Mørk, Henrik Bo Pedersen, Finn R. Rasmussen199012 BibTEX Refer
Implementing a Distributed Algorithm for Detection of Local Knots and Cycles in Directed Graphs Geraldo Pereira de Souza, Gerson Henrique Pfitscher200216 BibTEX Refer
Implementing an Active Chart Parser on a Transputer Network Janet Edwards, John H. Connolly199110 BibTEX Refer
Implementing Generalised Alt Gavin Lowe201134 BibTEX Refer
Implementing Recursion on a Double Ring Topology J. L. Jacquemin19905 BibTEX Refer
Improving TCP/IP Multicasting with Message Segmentation Hans Henrik Happe, Brian Vinter20059 BibTEX Refer
Improving the Performance of Periodic Real-time Processes: a Graph Theoretical Approach Antoon H. Boode, Hajo Broersma, Jan F. Broenink201324 BibTEX Refer
Incorporating Use-Case Analysis in PCSC Method Chandran Elamvazuthi, Gordon A. Manson199514 BibTEX Refer
Incremental behavioral simulations on a network of transputers Keith Dimond, Samir Hassan19909 BibTEX Refer
Infinite Traces, Acceptances and CSPP Adrian E. Lawrence200110 BibTEX Refer
Integrating and Extending JCSP Peter H. Welch, Neil C.C. Brown, James Moores, Kevin Chalmers, Bernhard H.C. Sputh200721 BibTEX Refer
Integration of Classification and Evaluation Procedures in the Implementation of Parallel Image Analysis Algorithms P. Brittan, M. C. Fairhurst19919 BibTEX Refer
Interacting Components Bojan Orlic, Jan F. Broenink200624 BibTEX Refer
Interactive Computing with the Minimum intrusion Grid (MiG) John Markus Bjørndalen, Otto J. Anshus, Brian Vinter200513 BibTEX Refer
Interconnecting Remote LANs via Public Data Networks by High Performance Parallel Routers A. Lakkis, L Jacquemin J, M. Dumas199616 BibTEX Refer
Interfacing C and occam-pi Frederick R. M. Barnes200512 BibTEX Refer
Interfacing with Honeysuckle by Formal Contract Ian R. East200511 BibTEX Refer
Introducing JCSP Networking 2.0 Kevin Chalmers20081 BibTEX Refer
Issues raised while implementing a layered protocol using occam and the transputer Roger M. A. Peel198913 BibTEX Refer
Java Joins IEEE-1355 in the Home Network Barry M. Cook, N. H. White199910 BibTEX Refer
Java PastSet - A Structured Distributed Shared Memory System Kei Simon Pedersen, Brian Vinter200212 BibTEX Refer
Java Threads in Light of occam/CSP (Tutorial) Peter H. Welch19971 BibTEX Refer
Java Threads in the light of occam/CSP Peter H. Welch199826 BibTEX Refer
JCircus 2.0: an Extension of an Automatic Translator from Circus to Java S.L.M. Barrocas, Marcel Oliveira201222 BibTEX Refer
JCircus Demo S.L.M. Barrocas, Marcel Oliveira20121 BibTEX Refer
JCSP Agents-Based Service Discovery for Pervasive Computing Anna Kosek, Jon Kerridge, Aly Syed, Alistair Armitage200911 BibTEX Refer
JCSP-Poison: Safe Termination of CSP Process Networks Bernhard H.C. Sputh, Alastair R. Allen200537 BibTEX Refer
jcsp.mobile: A Package Enabling Mobile Processes and Channels Kevin Chalmers, Jon Kerridge200519 BibTEX Refer
JCSPre: the Robot Edition To Control LEGO NXT Robots Jon Kerridge, Alex Panayotopoulos, Patrick Lismore200816 BibTEX Refer
JCSProB: Implementing Integrated Formal Specifications in Concurrent Java Letu Yang, Michael R. Poppleton200722 BibTEX Refer
K-CSP Component Based Development of Kernel Extensions Bernhard H.C. Sputh200414 BibTEX Refer
LATIN -- A language for transputer networks D. Crookes, P. Milligan, N. S. Scott, P. L. Kilpatrick, Philip J. Morrow198716 BibTEX Refer
Lazy Cellular Automata with Communicating Processes Adam T. Sampson, Peter H. Welch, Frederick R. M. Barnes200511 BibTEX Refer
Lazy Exploration and Checking of CSP Models with CSPsim Philip J Brooke, Richard F. Paige200718 BibTEX Refer
Legacy of the Transputer Ruth Ivimey-Cook199915 BibTEX Refer
Lego Robots Using JCSP Jon Kerridge20081 BibTEX Refer
libcsp - a Building mechanism for CSP Communication and Synchronisation in Multithreaded C Programs Rick D. Beton200012 BibTEX Refer
LiBRA -- A load balancing tool for a reconfigurable parallel computer Sanjay Tambwekar, U. S. Shukla, A. Paulraj199013 BibTEX Refer
Life of occam-Pi Peter H. Welch201326 BibTEX Refer
Linda implementation revisted Andrew Douglas, Alan Wood, Antony Rowstron199514 BibTEX Refer
LUNA: Hard Real-Time, Multi-Threaded, CSP-Capable Execution Framework Maarten M. Bezemer, Robert J.W. Wilterdink, Jan F. Broenink201119 BibTEX Refer
MALT: A Multiway Alternation Construct for occam Adam K. L. Wong, Francis C. M. Lau199812 BibTEX Refer
Managing real-time demands on transputers Peter H. Welch198711 BibTEX Refer
Mapping a process network onto a processor network Francis C. M. Lau, K. M. Shea198810 BibTEX Refer
Mapping PCSC Design Model to Inmos ANSI C S. Sahib, Gordon A. Manson199519 BibTEX Refer
Mapping Revisited D. Goodeve199315 BibTEX Refer
Marvin -- Multiprocessor Architecture for vision Chris R. Brown, Michael Rygol198913 BibTEX Refer
Mathmatical models of distributing computation D. Pritchard198712 BibTEX Refer
Mechanical Verification of a Two-Way Sliding Window Protocol Bahareh Badban, Wan Fokkink, Jaco Van De Pol200824 BibTEX Refer
Memory access synchronization in series expansion methods of parallel image reconstruction W. J. Nowinski199010 BibTEX Refer
Memory Management Strategies for Parallel Volume Rendering Alan G. Chalmers199614 BibTEX Refer
Memory managers for transputing networks J. C. Admiraal, N. Carmichael19896 BibTEX Refer
Message routing systems for transputer based parallel computers Domenico Talia199212 BibTEX Refer
Mixed Language Programming for Transputer Networks, A Case Study I. E. Jelly, S. A. Morris199313 BibTEX Refer
Mobile Agents and Processes using Communicating Process Architectures Jon Kerridge, Jens-Oliver Haschke, Kevin Chalmers200814 BibTEX Refer
Mobile Barriers for occam-pi: Semantics, Implementation and Application Peter H. Welch, Frederick R. M. Barnes200528 BibTEX Refer
Mobile Data, Dynamic Allocation and Zero Aliasing: An occam Experiment Peter H. Welch, Frederick R. M. Barnes200122 BibTEX Refer
Mobile Escape Analysis for occam-pi Frederick R. M. Barnes200918 BibTEX Refer
Mobile Processes and Call Channels with Variant Interfaces (a Duality) Eric Bonnici, Peter H. Welch20111 BibTEX Refer
Mobile Processes in an Ant Simulation Eric Bonnici20081 BibTEX Refer
Mobile Robot Control: The Subsumption Architecture and occam-pi Jonathan Simpson, Christian L. Jacobsen, Matthew C. Jadud200612 BibTEX Refer
Mobility in JCSP: New Mobile Channel and Mobile Process Models Kevin Chalmers, Jon Kerridge, Imed Romdhani200720 BibTEX Refer
Modeling and Analysis of the AMBA Bus Using CSP and B Alistair A. McEwan, Steve Schneider200720 BibTEX Refer
Modelling a Multi-Core Media Processor Using JCSP Anna Kosek, Jon Kerridge, Aly Syed200813 BibTEX Refer
Modelling Real-Time Behaviour of Parallel Transputer Systems under Failure Conditions Peter R. Croll, P. M. Griffiths199513 BibTEX Refer
Monitoring occam channels by program transformation Peter C. Capon, Adrian J. West198710 BibTEX Refer
Multi-priority scheduling for transputer-based real-time control Peter H. Welch199017 BibTEX Refer
Multi-transputer based parallel implementation of feature extraction for object recognition D. W. Downing, I. B. Bennett198812 BibTEX Refer
Multilayer perceptrons on transputer networks N. Dodd198712 BibTEX Refer
Mutually Assured Destruction (or the Joy of Sync) Peter H. Welch, Jan Bækgaard Pedersen, Frederick R. M. Barnes20132 BibTEX Refer
Names of XCHAN Implementations Øyvind Teig20132 BibTEX Refer
National HPC Facilities at EPCC: Exploiting Massively Parallel Architectures for Scientific Simulation Andrew Turner20132 BibTEX Refer
Native Code Generation using the Transterpreter. Christian L. Jacobsen, Damian J. Dimmich, Matthew C. Jadud200612 BibTEX Refer
Native JCSP - the CSP for Java library with a Low-Overhead CSP Kernel James Moores200012 BibTEX Refer
New ALT for Application Timers and Synchronisation Point Scheduling Øyvind Teig, Per Johan Vannebo200910 BibTEX Refer
No Blocking on Yesterday's Embedded CSP Implementation (the Rubber Band of Getting it Right and Simple) Øyvind Teig20068 BibTEX Refer
Nonconvex continuous optimization experiments on a transputer system A. ter Laak, L. O. Hertzberger, P. M. A. Sloot199215 BibTEX Refer
Object Orientated Version Management on A Transputer-Based Architecture W. T. Macaulay, K. S. Stringer19948 BibTEX Refer
Object Store Based Simulation Interworking Carl G. Ritson, Paul S. Andrews, Adam T. Sampson201111 BibTEX Refer
Observing Processes Adrian E. Lawrence200410 BibTEX Refer
oc-X: an Optimising Multiprocessor occam System for the PowerPC Tim Sheen, Alastair R. Allen, Andreas Ripke, Stacy Woo199820 BibTEX Refer
Occam and transputers for industrial applications H. A. M. Hendrikx, R. J. Hacking19882 BibTEX Refer
Occam for all - Two Approaches to Retargetting the INMOS Compiler Michael D. Poole199612 BibTEX Refer
occam for Multi-Processor DEC Alphas Peter H. Welch, Michael D. Poole199710 BibTEX Refer
occam for reliable embedded systems: lightweight runtime and model checking Denis A. Nicole, Sam Ellis, Simon Hancock20036 BibTEX Refer
occam Obviously Peter H. Welch20122 BibTEX Refer
occam on Field Programmable Gate Arrays - Optimising for Performance Roger M. A. Peel, Barry M. Cook200012 BibTEX Refer
Occam on Field Programmable Gate Arrays - Steps towards the Para-PC Barry M. Cook, Roger M. A. Peel199918 BibTEX Refer
occam on the Arduino Adam T. Sampson, Matthew C. Jadud, Christian L. Jacobsen20091 BibTEX Refer
Occam program synthesis for execution on parallel machines: Towards a transformational approach Xiaobo Yu, Traian Muntean199014 BibTEX Refer
Occam transformation at Oxford Michael Goldsmith198718 BibTEX Refer
Occam's priority model and deadline scheduling A. Burns198714 BibTEX Refer
Occam, PVM and the Alternative Construct Chandran Elamvazuthi, Gordon A. Manson199413 BibTEX Refer
occwserv: An occam Web-Server Frederick R. M. Barnes200318 BibTEX Refer
On Congruence Property of Scope Equivalence for Concurrent Programs with Higher-Order Communication Masaki Murakami200918 BibTEX Refer
On guards Geraint Jones198710 BibTEX Refer
On Issues of Constructing an Exception Handling Mechanism for CSP-Based Process-Oriented Concurrent Software Dusko S. Jovanovic, Bojan Orlic, Jan F. Broenink200513 BibTEX Refer
On Linear Time and Congruence in Channel-Passing Calculi Frederic Peschanski200416 BibTEX Refer
On the Complexity of Buffer Allocation in Message Passing Systems Alex Brodsky, Jan Bækgaard Pedersen, Alan Wagner200218 BibTEX Refer
On the Feasibility of Run-Time Process Migration in Multi-transputer Machines Peter Jones, Hojung Cha199016 BibTEX Refer
On the serialisation of parallel programs Peter H. Welch, G. R. Ribeiro Justo199122 BibTEX Refer
On the Use of Transputers in a Multimedia Teleconferencing System Iain Phillips, D. Parish19947 BibTEX Refer
OpenComRTOS: A Runtime Environment for Interacting Entities Bernhard H.C. Sputh, Oliver Faust, Eric Verhulst, Vitaliy Mezhuyev200912 BibTEX Refer
Operating models for (reconfigurable) transputer networks Traian Muntean, C. Tricot198716 BibTEX Refer
Optical character recognition on a network of transputers P. Patry198716 BibTEX Refer
Optimum Transputer Configurations for Real Applications Requiring Global Communication Colin J. Burgess, Alan G. Chalmers199511 BibTEX Refer
Overtures and hesitant offers: hiding in CSPP Adrian E. Lawrence200313 BibTEX Refer
PAR and STARTP Take the Tanks Øyvind Teig199818 BibTEX Refer
Parallel Algorithms for Deadlock and Livelock Analysis of Concurrent Systems Jeremy M. R. Martin, Yvonne Huddart200014 BibTEX Refer
Parallel application development with dynamo A. Biriukov, D. Ulyanov19959 BibTEX Refer
Parallel Execution of Prolog on a Transputer-Based Network L. Araujo, J. J. Ruz199315 BibTEX Refer
Parallel Genetic Algorithms to Find Near Optimal Schedules for Tasks on Multiprocessor Architectures M. Moore200110 BibTEX Refer
Parallel Graph Colouring using Java Thomas Umland19988 BibTEX Refer
Parallel Imperative Functional Programming Steve Hill199514 BibTEX Refer
Parallel implementations of a molecular dynamics program for Lennard-Jones particles on transputer network V. Martorana, M. Migliore, S. L. Fornilli19877 BibTEX Refer
Parallel panel methods Alan G. Chalmers, Steven P. Fiddes, Derek J. Paddon19909 BibTEX Refer
Parallel Processing - the picoChip way! Andrew Duller, Gajinder Panesar, Daniel Towner200314 BibTEX Refer
Parallel processing with the disputer C. P. Winder198814 BibTEX Refer
Parallel programming toolkit for 3L -- C FORTRAN and Pascal Alan D. Culloch19888 BibTEX Refer
Parallel Scan Line algorithm for Hidden Surface Elimination Julian C. Highfield19918 BibTEX Refer
Parallel Solution of Linear ODEs. Implementation on Transputer Networks G. Mourney199610 BibTEX Refer
Parallel Usage Checking - an Observation Barry M. Cook20111 BibTEX Refer
Parallel-DB4GL: An implementation of a self-describing object-oriented database application generator on transputer hardware J. P. Gray, F. Poole199016 BibTEX Refer
Parallelisation for the progressive refinement radiosity method for the synthesis of realistic images Peter Green, Ed Morgan199516 BibTEX Refer
Parallelisation of computational algorithms for a transputer network: An approach R. Hilhorst19875 BibTEX Refer
PARAVER: A Tool to Visualize and Analyze Parallel Code V. Pillet, J. Labarta, T. Cortes, S. Girona199515 BibTEX Refer
PARX: A parallel operating system for transputer based machines J. Briat, M. Favre, D. Fort, N. Gonzalez-Valenzuela, Y. Langue, Traian Muntean, Ph. Waille198929 BibTEX Refer
PDS: Advanced program developement system for transputer based machines J. Eudes, F. Menneteau, L. Mugwaneza, Traian Muntean198914 BibTEX Refer
PEDFLOW - A System for Modelling Pedestrian Movement using occam Jon Kerridge, N. McNair199918 BibTEX Refer
Performance Analysis and Behaviour Tuning for Optimisation of Communicating Systems Mark Green, Ali E. Abdallah200210 BibTEX Refer
Performance Evaluation of JCSP Micro Edition: JCSPme Kevin Chalmers, Jon Kerridge, Imed Romdhani200610 BibTEX Refer
Performance modelling of a parallel meural network simulator Tom Tollenaere, Dirk Roose199212 BibTEX Refer
Performance of post-game analysis on transputers Johan P. E. Sunter, André W. P. Bakkers199111 BibTEX Refer
Performance of the Distributed CPA Protocol and Architecture on Traditional Networks Kevin Chalmers201116 BibTEX Refer
PICOMS: Prioritised Inferred Choice Over Multiway Synchronisation Douglas N. Warren20081 BibTEX Refer
PIPES: A transputer-based parallel architecture for AI real time applications G. P. Balboni, G. Giandonato, R. Melen198916 BibTEX Refer
PIX: NeWS for parallel computers P. Goward, W. Leler19888 BibTEX Refer
Polyphonic Processors - Fantasy on an FPGA Richard Miller20121 BibTEX Refer
pony - The occam-pi Network Environment Mario Schweigler, Adam T. Sampson200632 BibTEX Refer
Portable CSP Based Design for Embedded Multi-Core Systems Bernhard H.C. Sputh, Oliver Faust, Alastair R. Allen200612 BibTEX Refer
Porting the 3L Parallel C environment to the Texas Instruments TMS320C40 Alan D. Culloch199214 BibTEX Refer
Porting the INMOS occam Compiler to the SPARC Architecture K. Rothwell, G. Shaw, A Smith19958 BibTEX Refer
Post-Mortem Debugging in KRoC David C. Wood, Frederick R. M. Barnes200014 BibTEX Refer
Predictable response times and portable hard real-time systems with TRANS-RTXc on the Transputer Eric Verhulst, Hans Thielemans19909 BibTEX Refer
Prefetch Data Management for Parallel Particle Tracing Jonathan Tidmus, Roger Miles, Alan G. Chalmers19978 BibTEX Refer
Prioritised Choice over Multiway Synchronisation Douglas N. Warren201124 BibTEX Refer
Prioritised Dynamic Communicating Processes - Part I Frederick R. M. Barnes, Peter H. Welch200232 BibTEX Refer
Prioritised Dynamic Communicating Processes - Part II Frederick R. M. Barnes, Peter H. Welch200218 BibTEX Refer
Prioritised Service Architecture Ian R. East200416 BibTEX Refer
Prioritized Service Architecture: Refinement and Visual Design Ian R. East200815 BibTEX Refer
Process-Oriented Building Blocks Adam T. Sampson20122 BibTEX Refer
Process-Oriented Collective Operations John Markus Bjørndalen, Adam T. Sampson200820 BibTEX Refer
Process-Oriented Subsumption Architectures in Swarm Robotic Systems Jeremy C. Posso, Adam T. Sampson, Jonathan Simpson, Jon Timmis201114 BibTEX Refer
ProcessJ: A Possible Future of Process-Oriented Design Jan Bækgaard Pedersen, Marc L. Smith201324 BibTEX Refer
Processor Farm Analysis and Simulation for Embedded Parallel Processing Systems R. W. S. Tregidgo, A. C. Downton199011 BibTEX Refer
Processor Independant and Extendable Routing System using a Cyclic Routing Algorithm P. A. Shallow19919 BibTEX Refer
Programming the CELL-BE using CSP Kenneth Skovhede, Morten N. Larsen, Brian Vinter201116 BibTEX Refer
Protocol Verification in Millipede Jan Bækgaard Pedersen, Alan Wagner200120 BibTEX Refer
Prototyping transputer applications E. Hart, S. Flavell19907 BibTEX Refer
Providing CSP-Like Functionality in a Helios Environment P. Böckmann, H. Giese, G. Wirtz199415 BibTEX Refer
PyCSP - Communicating Sequential Processes for Python John Markus Bjørndalen, Brian Vinter, Otto J. Anshus200720 BibTEX Refer
PyCSP Revisited Brian Vinter, John Markus Bjørndalen, Rune Møllegard Friborg200914 BibTEX Refer
R16: a New Transputer Design for FPGAs John Jakson200528 BibTEX Refer
Rain VM: Portable Concurrency through Managing Code Neil C.C. Brown200615 BibTEX Refer
Rain: A New Concurrent Process-Oriented Programming Language Neil C.C. Brown200615 BibTEX Refer
Randomised routing: "Hot potato" simulations Xu Ming Qiang, Stephen J. Turner198810 BibTEX Refer
Ray-tracing on super-node D. Gasilloud, B. Mignot19876 BibTEX Refer
Real-time and fault tolerance in distributed control software Bojan Orlic, Jan F. Broenink200316 BibTEX Refer
Real-time Performance Evaluation Issues for Transputer Networks M. Tokhi, M. Hossain, M. Baxter, P. J. Fleming199512 BibTEX Refer
Real-time processing of large volume data from photographic plate measurements W. A. Cormack198812 BibTEX Refer
Real-Time Transputer Models of a Low-Level Primate Vision Andrew B. Smith, Peter H. Welch198911 BibTEX Refer
Reconfigurable Computing Roger Gook19971 BibTEX Refer
Reconfigurable Hardware Synthesis of the IDEA Cryptographic Algorithm Ali E. Abdallah, I. W. Damaj200430 BibTEX Refer
Reconnetics: A System for the Dynamic Implementation of Mobile Hardware Processes in FPGAs Ralph Moseley200214 BibTEX Refer
Refining Industrial Scale Systems in Circus Marcel Oliveira, Ana Cavalcanti, Jim Woodcock200430 BibTEX Refer
Relating and Visualising CSP, VCR and Structural Traces Neil C.C. Brown, Marc L. Smith200915 BibTEX Refer
Repeatable execution of occam programs Umberto Villano199110 BibTEX Refer
Representation and Implementation of CSP and VCR Traces Neil C.C. Brown, Marc L. Smith200817 BibTEX Refer
Resumable Java Bytecode - Process Mobility for ProcessJ targeting the JVM Jan Bækgaard Pedersen, Brian Kauke200914 BibTEX Refer
RMoX: A raw-metal occam Experiment Christian L. Jacobsen, Frederick R. M. Barnes, Brian Vinter200320 BibTEX Refer
Robust Robot Software using Process Orientation Cagri Yalcin, Jan F. Broenink20091 BibTEX Refer
Routing messages through networks: An exerecise in deadlock avoidance A. W. Roscoe198725 BibTEX Refer
RRABP: Point-to-Point Communication over Unreliable Components Bernhard H.C. Sputh, Oliver Faust, Alastair R. Allen200815 BibTEX Refer
RT-DOS -- A real-time distributed operating system for transputers M. Tayh, M. Bor, M. Benmaiza, M. R. Eskicioglu199011 BibTEX Refer
Sampling and timing a task for the environmental process Gerald H. Hilderink, Jan F. Broenink200314 BibTEX Refer
Santa Claus - with Mobile Reindeer and Elves Peter H. Welch, Jan Bækgaard Pedersen20081 BibTEX Refer
Santa's Groovy Helper Jon Kerridge20081 BibTEX Refer
Scalable Performance for Scala Message-Passing Concurrency Andrew Bate201320 BibTEX Refer
Scaling PyCSP Rune Møllegard Friborg, John Markus Bjørndalen, Brian Vinter201312 BibTEX Refer
Schedulability Analysis of Timed CSP Models Using the PAT Model Checker Oguzcan Oguz, Jan F. Broenink, Angelika Mader201224 BibTEX Refer
Scheduling for ILP in the 'Processor-as-a-Network' D.K. Arvind, S. Sotelo-Salazar200316 BibTEX Refer
SCOTT: The Southampton COFF Tools for Transputers Denis A. Nicole, R. Sivaram199616 BibTEX Refer
Scriptic: Parallel Programming in Extended Java André van Delft199717 BibTEX Refer
Security aspects of occam 2 Roger Shepherd19878 BibTEX Refer
Selective Choice "Feathering" with XCHANs Øyvind Teig201312 BibTEX Refer
Self-Adjusting Mapping: A Heuristic Mapping Algorithm for Mapping Parallel Programs onto Transputer Networks Hong Shen198910 BibTEX Refer
Semantics of prialt in Handel-C (tm) Andrew Butterfield200216 BibTEX Refer
Service Oriented Programming in MPI Sarwar Alam, Humaira Kamal, Alan Wagner201320 BibTEX Refer
Serving Web Content with Dynamic Process Networks in Go James Whitehead201118 BibTEX Refer
SEU Protection for High-Reliability Flash File Systems Neil J. Perrins, Alistair A. McEwan20122 BibTEX Refer
Shared virtual memory on transputers via the data diffusion machine Sanjay Raina, David H. D. Warren, James Cownie19909 BibTEX Refer
Shared-Clock Methodology for Time-Triggered Multi-Cores Keith F. Athaide, Michael J. Pont, Devaraj Ayavoo200814 BibTEX Refer
Shared-Memory Multi-Processor Scheduling Algorithms for CCSP Carl G. Ritson20072 BibTEX Refer
Simulating Neural Networks in a Distributed environments Jukka Vanhala, Kimmo Kaski198913 BibTEX Refer
Simulation fonctionnelle d'une architecture parallele en occam Y. Ansade, R. Cornu-Emieux, D. Lattard, G. Mazare, Ph. Objois19877 BibTEX Refer
Simulation of gas pipeline networks Minesh Patel, Paul Bentley, Clifton Hughes19886 BibTEX Refer
Simulation of optical systolic and neural network using occam D. J. Evans, K. G. Margaritis199111 BibTEX Refer
Software Specification Refinement and Verification Method with I-Mathic Studio. Gerald H. Hilderink200614 BibTEX Refer
Solving Partial Differential equations via Cellular Automata: A Binary and Statistical Approach A. Cosnuau, F. Desbois, Y. Morchoisne19896 BibTEX Refer
Solving the Santa Claus Problem: a Comparison of Various Concurrent Programming Techniques Jason Hurt, Jan Bækgaard Pedersen200816 BibTEX Refer
Some numerical experiments on transputer networks A. Cosnuau, O. Poirel198711 BibTEX Refer
Southampton's Portable Occam Compiler (SPOC) Mark Debbage, Mark Hill, S. Wykes, Denis A. Nicole199416 BibTEX Refer
SpaceWire - DS-Links Reborn Barry M. Cook, Paul Walker200612 BibTEX Refer
Spatial Simulation Modelling of Insect Population Dynamics on a Transputer Network D. R. Morse199310 BibTEX Refer
Specification of APERTIF Polyphase Filter Bank in ClaSH Rinse Wester, Dimitrios Sarakiotis, Eric Kooistra, Jan Kuper201212 BibTEX Refer
Specifying and Analysing Networks of Processes in CSPt (or In Search of Associativity) Paul Howells, Mark d'Inverno201328 BibTEX Refer
Static Scoping and Name Resolution for Mobile Processes with Polymorphic Interfaces Jan Bækgaard Pedersen, Matthew Sowders201115 BibTEX Refer
Steering High-Performance Parallel Programs: a Case Study P. J. Love, Jeremy M. R. Martin200010 BibTEX Refer
Strategies for workload distribution Iain Phillips, Peter C. Capon199113 BibTEX Refer
Successes and Failures: Extending CSP Adrian E. Lawrence200118 BibTEX Refer
Successful Termination in Timed CSP Paul Howells, Mark d'Inverno201318 BibTEX Refer
Supercomputing Resource Management - Experience with the SGI Cray Origin 2000 Jeremy M. R. Martin, R. C. F. McLatchie, K. M. Measures199910 BibTEX Refer
Support for occam channels via dynamic switching in multi-transputer machines Peter Jones, Alan Murta198812 BibTEX Refer
Supporting a Rapid Prototyping System for Distributed Algorithms on a Transputer Network J. Cao, O. de Vel, Adam K. L. Wong199316 BibTEX Refer
Supporting the Prototyping of Transputer Based Fault Tolerant Systems Patrick Nixon199411 BibTEX Refer
Supporting Timed CSP Operators in CSP++ W. B. Gardner, Yuriy Solovyov201218 BibTEX Refer
Surface tracking within three dimensional datasets using a generalised message-passing system M. G. Norman, R. B. Fisher19886 BibTEX Refer
Switching networks for transputer links Denis A. Nicole, E. K. Lloyd, J. S. Ward198820 BibTEX Refer
SYDAMA-2: a heterogeneous multiprocessor system for real time image processing Dieter Stokar19927 BibTEX Refer
Synchronisation in a Multithreaded Processor Shondip Sen, Henk Muller, David May20008 BibTEX Refer
Synchronous Active Objects Introduce CSP's Primitives in Java Claude Petitpierre200214 BibTEX Refer
SystemCSP - Visual Notation Bojan Orlic, Jan F. Broenink200627 BibTEX Refer
Systems Modelling and Integration Dan Slipper20091 BibTEX Refer
SystemVerilogCSP: Modeling Digital Asynchronous Circuits Using SystemVerilog Interfaces Arash Saifhashemi, Peter A. Beerel201116 BibTEX Refer
TCP Input Threading in High Performance Distributed Systems Hans Henrik Happe200611 BibTEX Refer
TCP/IP on transputers -- the performance implications Roger M. A. Peel199213 BibTEX Refer
Techniques for rendering solid objects on a processor farm Peter M. Dew, Nick Holliman, David Morris, Alan de Pennington198816 BibTEX Refer
Testing and Sampling Parallel Systems Jon Kerridge200714 BibTEX Refer
The 'Honeysuckle' Programming Language: Event and Process Ian R. East200216 BibTEX Refer
The advancements of transputers and occam Janet Edwards, Philip Lawson199112 BibTEX Refer
The application of transputers and occam to an industrial energy management system Andy Sinclair, Paul Kelly198810 BibTEX Refer
The Architecture of the Minimum intrusion Grid (MiG) Brian Vinter200513 BibTEX Refer
The Automated Serialization of Concurrent CSP Scripts using Mathematica Weiyang Zhou, G. S. Stiles200018 BibTEX Refer
The Computation Time Process Model Martin Korsgaard, Sverre Hendseth201114 BibTEX Refer
The computing tower: A supercomputer for real- time simulation of continuous systems Patrick van Renterghem198812 BibTEX Refer
The Core Language of Aldwych Matthew Huntbach200716 BibTEX Refer
The denotational Semantics of View-Centric Reasoning Marc L. Smith, Charles E. Hughes, Kyle W. Burke20038 BibTEX Refer
The design of a real time three demensional vision system for object idenification Janet Edwards, Ian P. W. Sillitoe19908 BibTEX Refer
The Design of JET: A Java Library for Embarrassingly Parallel Applications Luis M. Silva, Hernâni Pedroso, João Gabriel Silva199719 BibTEX Refer
The development of a parallel C compiler K. Wybrans, R. Kurver19879 BibTEX Refer
The Development of occam: types, classes and sharing Geoff Barrett199029 BibTEX Refer
The Distributed Application Debugger Michael Quinn Jones, Jan Bækgaard Pedersen201316 BibTEX Refer
The Flying Gator: Towards Aerial Robotics in occam-π Ian Armstrong, Michael Pirrone-Brusse, A Smith, Matthew C. Jadud201112 BibTEX Refer
The Functional Specification of OCCAM Programs for Time Critical Applications Patrick Nixon, Peter R. Croll199314 BibTEX Refer
The Globalisation of occam Paul Singleton, Barry M. Cook199616 BibTEX Refer
The Grid Block Device Bardur Arrantsson, Brian Vinter200312 BibTEX Refer
The Guppy Language: an Update Frederick R. M. Barnes20132 BibTEX Refer
The Implementation of a Scalable Massively Parallel Concurrency Control Architecture S. W. Waithe199415 BibTEX Refer
The INQUEST Transputer Network Debugger M. Johnson199310 BibTEX Refer
The Investigation of Communications Patterns in Occam Programs Rosemary Candlin, Qiangyi Luo, Neil Skilling198910 BibTEX Refer
The Kent Retargettable occam Compiler David C. Wood, Peter H. Welch199624 BibTEX Refer
The knapsack solver: A benchmark for parallel computing systems D. Call198718 BibTEX Refer
The Macramé 1024 Node Switching Network S. Haas, D. A. Thornley, M. Zhu, R. W. Dobinson, B. Martin19978 BibTEX Refer
The meaning and implementation of PRI ALT in occam Geoff Barrett, Michael Goldsmith, Geraint Jones, A. Kay198810 BibTEX Refer
The Meaning and Implementation of SKIP in CSP Thomas Gibson-Robinson, Michael Goldsmith201316 BibTEX Refer
The occam process of the N-ARCH Kernel S. Niar, G. Goncalves, M. P. Lecouffe, B. Toursel19878 BibTEX Refer
The Para-PC, An Analysis Barry M. Cook, Roger M. A. Peel199614 BibTEX Refer
The PARIX pregramming environment Parsytec GmBH.199213 BibTEX Refer
The Quadruple Approach in Fault-Tolerant Transputer System Design K. Jelemenska, L. Hudec19949 BibTEX Refer
The SCOOP Concurrency Model in Java-like Languages Faraz Torshizi, Jonathan S. Ostroff, Richard F. Paige, Marsha Chechik200921 BibTEX Refer
The Single Resource Allocation Problem: Parallel Algorithms on Distributed Systems C. Rodriguez, F. Almeida, D. Morales, J. L. Roda, F. Garcia199612 BibTEX Refer
The TDS occam 2 debugging system C. O'Neil19876 BibTEX Refer
The Transterpreter: A Transputer Interpreter Christian L. Jacobsen, Matthew C. Jadud20048 BibTEX Refer
The Trebuchet John Campbell, G. S. Stiles200311 BibTEX Refer
The `Uniform Heterogeneous Multi-Threaded' Processor Architecture Daniel Towner, David May200114 BibTEX Refer
This is a Parallel Parrot Adam T. Sampson20111 BibTEX Refer
Three Unique Implementations of Processes for PyCSP Rune Møllegard Friborg, John Markus Bjørndalen, Brian Vinter200916 BibTEX Refer
Tock: One Year On Adam T. Sampson, Neil C.C. Brown20081 BibTEX Refer
Topologies for large transputer networks: Theoretical aspects and experimental approach Francoise Baude, Francoise Carre, Pascal Clere, Guy Vidal- Naquet198920 BibTEX Refer
Toward Process Architectures for Behavioural Robotics Jonathan Simpson, Carl G. Ritson200912 BibTEX Refer
Towards a distributed implementation of occam Mark Debbage, Mark Hill, Denis A. Nicole199010 BibTEX Refer
Towards a Semantics for Prioritized Alternation Ian R. East200412 BibTEX Refer
Towards a Software Architecture for Solid Modelling Systems on Processor Networks J. R. Davy, Peter M. Dew, Nick Holliman, D.P. Mallon, Alan de Pennington198914 BibTEX Refer
Towards a Viable Alternative to OO -- Extending the occam/CSP Programming Model Tom Locke200121 BibTEX Refer
Towards an adaptable scheduler for real-time system Celio Estevan Moron, Hussein S. M. Zedan199213 BibTEX Refer
Towards Guaranteeing Process Oriented Program Behaviour Frederick R. M. Barnes20081 BibTEX Refer
Towards Strong Mobility in the Shared Source CLI Johnston Stewart, Patrick Nixon, Tim Walsh, Ian Ferguson200511 BibTEX Refer
Towards the Formal Verification of a Java Processor in Event-B Neil Grant, Neil Evans200718 BibTEX Refer
Traces for Testing Neil C.C. Brown20091 BibTEX Refer
trancell - an Experimental ETC to Cell BE Translator Ulrik Schou Jørgensen, Espen Suenson200712 BibTEX Refer
Transactional CSP Processes Gail Cassar, Patrick Abela20072 BibTEX Refer
Transfer Request Broker: Resolving Input-Output Choice Oliver Faust, Bernhard H.C. Sputh, Alastair R. Allen200815 BibTEX Refer
Translating ETC to LLVM Assembly Carl G. Ritson200914 BibTEX Refer
TRANSNET -- A transputer-based communications service Peter H. Welch198915 BibTEX Refer
Transputer and parallel computation at the GMD M. Mevenkamp, S. Streitz198711 BibTEX Refer
Transputer based adaptive signal processing John J. Soragham, Woon S. Gan, Kwong H. Goh, Robert W. Stewart, Tariq S. Durrani199220 BibTEX Refer
Transputer Based Architecture for Robot Control J. Netto, L. Gathy, G. Campion, C. Trullemans199313 BibTEX Refer
Transputer based database organisation -- an example protien database implemented using pipeline and hypercube configurations K. S. Stringer, L. C. Waring19895 BibTEX Refer
Transputer Based Pipeline Machine and Its Language in Nuclear Physics B. D'Avanzo, M. De Poli, G. Maron, M. L. Mazza, S. Scanferlato, G. Staiano, X. N. Tang, G. Vedovato199312 BibTEX Refer
Transputer implementation of a graphics pipeline for octree encoded objects B. W. Heal198810 BibTEX Refer
Transputer instrumentation applied to electrostatic powder flow measurement E. Mills, Brian C. O'Neill19888 BibTEX Refer
Transputer models for a high-performance local area network bridge A. M. Sarrafan, Peter H. Welch199011 BibTEX Refer
Transputer performance issues using the trollius operating system James R. Jr. Beers, Ros Leibensperger, Moshe Braner, David Fielding199016 BibTEX Refer
Transputers and parallel prolog J. Reynolds19878 BibTEX Refer
Transputers and routers: Components for concurrent machines David May, Peter Thompson199017 BibTEX Refer
tranx86 -- An Optimising ETC to IA32 Translator Frederick R. M. Barnes200118 BibTEX Refer
Triples Adrian E. Lawrence200428 BibTEX Refer
TROS: A Real Time Kernel for a Fault-Tolerant Multi-Processor Computer Based on Argument Flow Eric Verhulst, R. Lauwereins, R. Cuyvers, J. Peperstraete198913 BibTEX Refer
Tutorial: Prioritised Service Architecture using Honeysuckle Ian R. East20034 BibTEX Refer
Two-Way Protocols for occam-π Adam T. Sampson200813 BibTEX Refer
Types, Orthogonality and Genericity: Some Tools for Communicating Process Architectures Samson Abramsky200813 BibTEX Refer
Ubiquitous Access to Site Specific Services by Mobile Devices: the Process View. Jon Kerridge, Kevin Chalmers200618 BibTEX Refer
Unfinished Business - occam-pi² Peter H. Welch20121 BibTEX Refer
Use of Formal Models in Model-driven Design of Embedded software Oguzcan Oguz, Jan F. Broenink20091 BibTEX Refer
Use of occam and the transputer architecture for matrix inversion S. Tian, G. Xu, Y-H. Pao, W. L. Schultz198711 BibTEX Refer
Use of occam for the validation of distributed discrete event driven simulation A. H. Djahanguir, J. C. Geffroy19899 BibTEX Refer
User-Defined Data Types and Operators in occam David C. Wood, James Moores199926 BibTEX Refer
Using CSP to Verify Aspects of an Occam-to-FPGA Compiler Roger M. A. Peel, Wong Han Feng Javier200414 BibTEX Refer
Using FDR to Model Check CSP-Like Languages Thomas Gibson-Robinson20132 BibTEX Refer
Using Java for Parallel Computing - JCSP versus CTJ Nan C. Schaller, Gerald H. Hilderink, Peter H. Welch200022 BibTEX Refer
Using occam-pi Primitives with the Cell Broadband Engine Damian J. Dimmich20072 BibTEX Refer
Using records and pointers with occam 2.5 Michael D. Poole199512 BibTEX Refer
Using transputers in an ethernet environment Roger M. A. Peel19886 BibTEX Refer
Using transputers in finite elements calculations: A first approach J. S. R. Filho Alves, D. R. J. Owen198713 BibTEX Refer
Using Transputers to Simulate Optoelectronic Computers I. Cramb, C. Upstill199010 BibTEX Refer
Using Two-, Four- and Eight-Way Multiprocessors as Cluster Components Brian Vinter, Otto J. Anshus, Tore Larsen, John Markus Bjørndalen200120 BibTEX Refer
Verification of a Dynamic Channel Model using the SPIN Model-Checker Rune Møllegard Friborg, Brian Vinter201120 BibTEX Refer
Verification of JCSP Programs Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, Peter H. Schmitt200516 BibTEX Refer
Verifying the CPA Networking Stack using SPIN/Promela Kevin Chalmers, Jon Kerridge201314 BibTEX Refer
Video Processing in occam-pi Carl G. Ritson, Adam T. Sampson, Frederick R. M. Barnes200619 BibTEX Refer
View-Centric Reasoning for Linda and Tuple Space Computation Marc L. Smith, Rebecca J. Parsons, Charles E. Hughes200232 BibTEX Refer
Virtual Machine Based Debugging for occam-π Carl G. Ritson, Jonathan Simpson200815 BibTEX Refer
Virtual memory management for the transputer P. J. Bakkes19886 BibTEX Refer
Virtualising communication in the C-NET high level programming environment Jean_Marc Adamo, J. Bonneville, C. Bonello199011 BibTEX Refer
Vision Simulation on Distributed Systems C-M. Spahn19937 BibTEX Refer
Visual Process-Oriented Programming for Robotics Jonathan Simpson, Christian L. Jacobsen200816 BibTEX Refer
Visualization of 3D emperical data: The VOXEL processor W. Huiskamp, P. M. Elgerhuizen, A. A. J. Langenkamp, P. L. J. van Lieshout198913 BibTEX Refer
WEAVE: A System for Dynamic Configuration of Virtual Links S. R. Harrison, Chris R. Brown199714 BibTEX Refer
Working towards a successor to occam Ian R. East200112 BibTEX Refer
Working Towards the Agreement Problem Protocol Verification Environment James S. Pascoe, Roger J. Loader, Vaidy S. Sunderam200118 BibTEX Refer
XCHANs: Notes on a New Channel Type Øyvind Teig201216 BibTEX Refer
YASS: a Scalable Sensornet Simulator for Large Scale Experimentation Jonathan Tate, Iain Bate200820 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!