A Protocol Checker for Nautilus Language.

Cláudio Naoto Fuzitaki Paulo Blauth Menezes Júlio Henrique Araújo Pereira Machado

Published in: PDPTA (2004)

Keyphrases

programming language
language learning
database
natural language
operational semantics
communication protocols
coloured petri nets
neural network
machine learning
lightweight
real time
databases
formal analysis
computational linguistics
security protocols