Login / Signup

Holistic analysis for fork-join distributed tasks supported by the FTT-SE protocol.

Ricardo Garibay-MartínezGeoffrey NelissenLuis Lino FerreiraPaulo PedreirasLuís Miguel Pinho
Published in: WFCS (2015)
Keyphrases
  • formal analysis
  • distributed systems
  • lightweight
  • peer to peer
  • distributed environment
  • character recognition