A Calculus for Concurrent System with Higher-Order Streaming Communication

Masaki Murakami. A Calculus for Concurrent System with Higher-Order Streaming Communication. In Hamid R. Arabnia, Hassan Reza, editors, Proceedings of the International Conference on Software Engineering Research and Practice, SERP 04, June 21-24, 2004, Las Vegas, Nevada, USA, Volume 1. pages 90-96, CSREA Press, 2004.

Abstract

Abstract is missing.