Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes.

Hugues Evrard Frédéric Lang

Published in: PDP (2015)

Keyphrases

formal models
concurrent processes
code generation
petri net
process model
formal model
code generator
rule based systems
application development
concurrent programs
software development
software reuse
model driven
lightweight
distributed systems
multi agent
decision making