Transputer instruction set: a compiler writer's guide

A formal definition of priority in CSP

ACM Transactions on Programming Languages and Systems (TOPLAS)

Decompilation: the enumeration of types and grammars

ACM Transactions on Programming Languages and Systems (TOPLAS)

The ProCoS Approach to Correct Systems

Real-Time Systems - Special issue on safety-critical systems

Transputers-Past, Present and Future

IEEE Micro

Compilation and Synthesis for Real-Time Embedded Controllers

Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)

Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct

FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods

Beyond the von Neumann machine: communication as the driving design paradigm for MP-SoC from software to hardware

Networks on chip

Precise interprocedural dependence analysis of parallel programs

Theoretical Computer Science

Exploiting an abstract-machine-based framework in the design of a Java ILP processor

Journal of Systems Architecture: the EUROMICRO Journal

CSP, occam and transputers

CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years