CALL FOR PAPERS
             IEEE Journal on Selected Areas in Communications 

       DESIGN, IMPLEMENTATION AND ANALYSIS OF COMMUNICATION PROTOCOLS

   Communication  protocols  are  the  foundation of modern communication
   networks  such  as  the  Internet,  intelligent  networks and wireless
   networks.  The  availability  of  reliable  and  correct communication
   protocols has become a crucial factor since communication networks are
   now an indispensable part of our life and people are depending on them
   to  conduct  business  and exchange information more than ever before.
   This   makes   the   correctness,   robustness,   and  performance  of
   communication protocols more important issues than ever before.

   This issue of J-SAC is devoted to the study of communication protocols
   design,  implementation, validation, verification and testing, as well
   as   the   application   of  formal  techniques,  which  are  critical
   technologies  to ensure the correctness, robustness and performance of
   communication  protocols.  In particular, this issue will focus on new
   advances,  approaches, concepts and experiences in the above-mentioned
   fields.

   Papers   presenting  original  work  on  various  aspects  related  to
   communication    protocols    design,    implementation,   validation,
   verification  and  testing  are solicited. Specifically, but not only,
   papers are solicited on the following topics:
     * Protocol Design and Implementation
          + Design/Implementation  of routing protocols, peer-to-peer and
            overlay   protocols,   security   protocols,   QoS,   network
            management, flow and congestion control
     * Protocol Verification and Validation
          + Verification and validation, modeling and analysis
          + Real-time and probability aspects
     * Protocol Testing
          + Theoretical  frameworks, test specification, test derivation,
            test validation and analysis, applications of testing theory,
            test tools
          + Protocol     testing,    including    conformance    testing,
            interoperability  testing, and performance testing of various
            communication systems
     * Formal Methods
          + FDT-based system and protocol engineering
          + FDT  application  to distributed systems, Internet protocols,
            wireless  and  mobile  communication  protocols,  intelligent
            networks

   Only  original  and  unpublished  research  papers will be considered.
   Prospective authors should prepare their manuscript in accordance with
   the  IEEE  J-SAC  format  described  in  the  Information for Authors.
   Authors  wishing  to  submit  papers should send an electronic version
   (PDF format) to rhao@research.bell-labs.com according to the following
   timetable:

                 Manuscript Submission:   SEPTEMBER 1, 2003
                 Acceptance Notification: March 1, 2004
                 Final Manuscript Due:    May 1, 2004
                 Publication:             4th Quarter 2004

   Ed Brinksma
   Dept of Computer Science
   University of Twente, PO Box 217
   7500 AE Enschede, The Netherlands
   brinksma@cs.utwente.nl Ruibing Hao
   Bell Labs Research China
   Lucent Technologies
   Beijing, 100084, P.R. China
   rhao@research.bell-labs.com
   David Lee
   Bell Labs Research
   Lucent Technologies
   Murray Hill, NJ 07974 USA
   lee@research.bell-labs.com Raymond E. Miller
   Dept of Computer Science
   University of Maryland
   College Park, MD 20742 USA
   miller@cs.umd.edu