Skip to content
Tom Larkworthy edited this page Jan 19, 2014 · 12 revisions

Send an item from user to another

  • can abort
  • no deadlocks
  • formally verified not to result in error
Clone this wiki locally