Sign in

Typing Liveness in Multiparty Communicating Systems.

Luca PadovaniVasco Thudichum VasconcelosHugo Torres Vieira
Published in: COORDINATION (2014)
Keyphrases
  • multi party
  • management system
  • distributed systems
  • information systems
  • intelligent systems
  • complex systems
  • expert systems
  • software engineering
  • computer systems
  • orders of magnitude