Login / Signup

A Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP.

Marcel Vinícius Medeiros OliveiraIvan Soares de Medeiros JúniorJim Woodcock
Published in: SEFM (2013)
Keyphrases
  • web services
  • constraint satisfaction problems
  • lightweight
  • tree decomposition
  • formal analysis
  • constraint propagation
  • cryptographic protocols