PROMELA ++(ID:3941/pro052)

Extensions to PROMELA
Related languages
PROMELA => PROMELA ++   Evolution of
References:
  • A. Basu, M. Hayden, G. Morrisett, and T. von Eicken. "A language-based approach to protocol construction" view details Abstract: Reports on the design and implementation of Promela++, a DSL for protocol construction and validation. Promela++
    adds domain-specific constructs to restricted C, and supports validation and optimization on the domain-level.
          in Kamin, S. (editor) DSL 97 First ACM SIGPLAN Workshop on Domain-Specific Lanugages, Paris, France, January 1997 view details
  • Anindya Basu, J. Gregory Morrisett, Thorsten von Eicken: Promela++: A Language for Constructing Correct and Efficient Protocols. INFOCOM 1998: 455-462 view details
          in Kamin, S. (editor) DSL 97 First ACM SIGPLAN Workshop on Domain-Specific Lanugages, Paris, France, January 1997 view details