Login / Signup

Synthesising Choreographies from Local Session Types.

Julien LangeEmilio Tuosto
Published in: CONCUR (2012)
Keyphrases
  • data sets
  • case study
  • real time
  • three dimensional
  • relational databases
  • artificial neural networks