Promela++: A Language for Constructing Correct and Efficient Protocols.

Anindya Basu J. Gregory Morrisett Thorsten von Eicken

Published in: INFOCOM (1998)

Keyphrases

programming language
computationally expensive
language learning
data sets
multi agent
natural language