Sciweavers

WOTUG
2007
14 years 3 months ago
Integrating and Extending JCSP
This paper presents the extended and re-integrated JCSP library of CSP packages for Java. It integrates the differing advances made by Quickstone’s JCSP Network Edition and the �...
Peter H. Welch, Neil Brown, James Moores, Kevin Ch...
WOTUG
2007
14 years 3 months ago
The Core Language of Aldwych
Matthew M. Huntbach
WOTUG
2007
14 years 3 months ago
Components with Symbolic Transition Systems: A Java Implementation of Rendezvous
Fabrício Fernandes, Robin Passama, Jean-Cla...
WOTUG
2007
14 years 3 months ago
C++CSP2: A Many-to-Many Threading Model for Multicore Architectures
Abstract. The advent of mass-market multicore processors provides exciting new opportunities for parallelism on the desktop. The original C++CSP – a library providing concurrency...
Neil Brown
WOTUG
2007
14 years 3 months ago
Modeling and Analysis of the AMBA Bus Using CSP and B
Abstract. In this paper, we present a formal model and analysis of the AMBA Advanced High-performance Bus (AHB) on-chip bus. The model is given in CSP B—an integration of the pro...
Alistair A. McEwan, Steve Schneider
WOTUG
2007
14 years 3 months ago
A Native Transterpreter for the LEGO Mindstorms RCX
The LEGO Mindstorms RCX is a widely deployed educational robotics platform. This paper presents a concurrent operating environment for the Mindstorms RCX, implemented natively usin...
Jonathan Simpson, Christian L. Jacobsen, Matthew C...
WOTUG
2007
14 years 3 months ago
A Process-Oriented Architecture for Complex System Modelling
Abstract. A fine-grained massively-parallel process-oriented model of platelets (potentially artificial) within a blood vessel is presented. This is a CSP inspired design, expres...
Carl G. Ritson, Peter H. Welch
WOTUG
2007
14 years 3 months ago
A Process Oriented Approach to USB Driver Development
Abstract. Operating-systems are the core software component of many modern computer systems, ranging from small specialised embedded systems through to large distributed operating-...
Carl G. Ritson, Fred R. M. Barnes
WOTUG
2007
14 years 3 months ago
Compiling occam to C with Tock
Adam T. Sampson
WOTUG
2007
14 years 3 months ago
Concurrency Control and Recovery Management for Open e-Business Transactions
Concurrency control mechanisms such as turn-taking, locking, serialization, transactional locking mechanism, and operational transformation try to provide data consistency when con...
Amir R. Razavi, Sotiris Moschoyiannis, Paul J. Kra...