Theory and Practice of Concurrent Systems - The Role of Kernel Language in the FGCS Project

This paper will describe why we took this approach and will answer the questions of Ehud Shapiro in the light of our methodolog