Login / Signup

Checking Consistency Between Message Choreographies And Their Implementation Models.

Vitaly KozyuraAndreas RothSebastian WieczorekWei Wei
Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2010)
Keyphrases
  • experimental data
  • probabilistic model
  • statistical models
  • real time
  • case study
  • complex systems
  • real world
  • multiscale
  • evolutionary algorithm
  • efficient implementation
  • communication channels
  • consistency checking