Giovanna Di Marzo Serugendo, Nicolas Guelfi. Formal Development of Java Based Web Parallel Applications. In Thirty-First Annual Hawaii International Conference on System Sciences, Kohala Coast, Hawaii, USA, January 6-9, 1998. pages 604-613, IEEE Computer Society, 1998. [doi]
Abstract is missing.