WOTUG
2008
13 years 6 months ago
2008
In this paper we introduce the core features of CSO (Communicating Scala Objects)
WOTUG
2008
13 years 6 months ago
2008
Abstract. We prove the correctness of a two-way sliding window protocol with piggybacking, where the acknowledgments of the latest received data are attached to the next data trans...
WOTUG
2008
13 years 6 months ago
2008
When teaching concurrency, using a process-oriented language, it is often introduced through a visual representation of programs in the form of process network . These diagrams all...
WOTUG
2008
13 years 6 months ago
2008
CSP processes have a static view of their environment
WOTUG
2008
13 years 6 months ago
2008
Abstract. This paper considers the issues involved in translating specifications described in the CSP B formal method into Handel-C. There have previously been approaches to transl...
WOTUG
2008
13 years 6 months ago
2008
Most motion control systems for mechatronic systems are implemented on digital computers. In this paper we present an FPGA based solution implemented on a low cost Xilinx Spartan I...
WOTUG
2008
13 years 6 months ago
2008
WOTUG
2008
13 years 6 months ago
2008
Abstract. Distributing process-oriented programs across a cluster of machines requires careful attention to the effects of network latency. The MPI standard, widely used for cluste...
WOTUG
2008
13 years 6 months ago
2008
Writing concurrent programs in languages that lack explicit support for concurrency can often be awkward and difficult. Haskell's monads provide a way to explicitly specify se...
WOTUG
2008
13 years 6 months ago
2008
Abstract. Communicating Sequential Processes (CSP) was developed around a formal algebra of processes and a semantics based on traces (and failures and divergences). A trace is a r...