Specifying the PLAN Networking Programming Language
Pankaj Kakkar, Michael Hicks, Jonathan T. Moore and Carl A. Gunter
Higher Order Operational Techniques in Semantics, Electronic Notes in Theoretical Computer Science, volume 26, September 1999.
Last updated on Monday, July 25, 2011, 4:34 pm