• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

IEBS Ticketing Protocol as Answer to Synchronization Issue.

Barbara PalaczTomasz MilosLukasz DutkaJacek Kitowski
Published in: PPAM (2007)
Keyphrases
  • lightweight
  • interprocess communication
  • formal analysis
  • coloured petri nets
  • multi agent
  • natural language
  • correct answers
  • provably secure
  • network protocols