Parallel/Distributed Programming

• On the Design of a Stream-based Programming Language with a Mechanism of Voluntary Process Migration
• Overview of the Computation part of Sushi
• Programming in the Small with Sushi
• Annotation Programming in Sushi
• Intermediate Servers in a WAN network for traffic efficient access to Distibuted Database
• An Intelligent Software Package Distributing System with Formal Specification Techniques