Inproceedings,

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

, and .
PDP, page 459-466. IEEE Computer Society, (2015)

Meta data

Tags

Users

  • @dblp

Comments and Reviews