A Graph Rewriting Model of Concurrent Programs with Higher-Order Communication

Masaki Murakami. A Graph Rewriting Model of Concurrent Programs with Higher-Order Communication. In Zoran Majkic, Michael Sipser, R. Radha, Daming Wei, editors, International Conference on Theoretical and Mathematical Foundations of Computer Science, TMFCS-08, Orlando, Florida, USA, July 7-10, 2008. pages 80-87, ISRST, 2008.

Abstract

Abstract is missing.