Network Programming Using PLAN (1998)

Cached

Download Links

by Michael Hicks , Pankaj Kakkar , Jonathan T. Moore , Carl A. Gunter , Scott Nettles
Venue:In Workshop on Internet Programming Languages
Citations:9 - 0 self

Documents Related by Co-Citation

147 PLAN: A packet language for active networks – Michael W. Hicks, Pankaj Kakkar , Jonathan T. Moore, Carl A. Gunter, Scott M. Nettles - 2006
8 Chunks in PLAN: Language Support for Programs as Packets – Jonathan T. Moore, Michael Hicks, Scott Nettles - 1999
434 A Survey of active network Research – David L. Tennenhouse, Jonathan M. Smith - 1997
57 PLANet: An Active Internetwork – Michael Hicks, Jonathan T. Moore, D. Scott Alexander, Carl A. Gunter, Scott M. Nettles - 1998
40 A Secure PLAN – Michael Hicks, Angelos D. Keromytis - 1999
11 Specifying the PLAN networking programming language – Pankaj Kakkar, Michael Hicks, Jonathan T Moore, Carl A Gunter
439 Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science 96(1 – J Meseguer - 1992
41 Programming the web: An applicationoriented language for hypermedia service programming – D A Ladd, J C Ramming - 1995
4 A tutorial on maude. http://maude.csl.sri.com – M Clavel, F Dur'an, S Eker, P Lincoln, N Mart'i-Oliet, J Meseguer, J Quesada - 2000
93 Specification and Proof in Membership Equational Logic – Adel Bouhoula, Jean-pierre Jouannaud, Jos'e Meseguer - 1996
45 The Structure and Performance of Interpreters – Theodore H. Romer, Dennis Lee, Geoffrey M. Voelker, Alec Wolman, Wayne A. Wong, Jean-loup Baer, Brian N. Bershad, Henry M. Levy - 1996
262 A case for NOW (Networks of Workstations – T Anderson, D Culler, D Patterson - 1995
18 Adapting Distributed Applications Using Extensible Networks – Scott Thibault, Jerome Marant, Gilles Muller - 1999
2 et al. A packet language for active networks. http://www.cis. upenn.edu/switchware/PLAN – C A Gunther
2 The specification of PLAN. http://www.cis.upenn.edu/ switchware/PLAN/spec/spec.ps – P Kakkar - 1999
5 Reasoning About Secrecy for Active Networks – Pankaj Kakkar, Carl A. Gunter, Martín Abadi - 2000
3 et al. The switchware project. http://www.cis.upenn.edu/~switchware – C A Gunther
3 PLANprogrammers guide for PLAN version 3.2. http: //www.cis.upenn.edu/~switchware/PLAN/docs-ocaml/guide.ps – M Hicks, J T Moore, P Kakkar - 2001
45 A Variable Typed Logic of Effects – Furio Honsell, Ian A. Mason, Scott Smith, Carolyn Talcott - 1993